From cf14455c149379d62f181941566230764a3580a4 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 18 Aug 2019 02:34:08 +0200 Subject: [PATCH 1/1] fix make dist and python dist --- MANIFEST.in | 3 +++ examples/smpi/CMakeLists.txt | 3 ++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/MANIFEST.in b/MANIFEST.in index 6bd5660ae6..ac81774cdc 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -451,6 +451,8 @@ include examples/smpi/mc/non_termination3.c include examples/smpi/mc/non_termination4.c include examples/smpi/mc/only_send_deterministic.c include examples/smpi/mc/promela_bugged1_liveness +include examples/smpi/mc/sendsend.c +include examples/smpi/mc/sendsend.tesh include examples/smpi/replay/actions0.txt include examples/smpi/replay/actions1.txt include examples/smpi/replay/actions_allgatherv.txt @@ -2169,6 +2171,7 @@ include src/mc/checker/LivenessChecker.cpp include src/mc/checker/LivenessChecker.hpp include src/mc/checker/SafetyChecker.cpp include src/mc/checker/SafetyChecker.hpp +include src/mc/checker/SimcallInspector.hpp include src/mc/checker/simgrid_mc.cpp include src/mc/compare.cpp include src/mc/inspect/DwarfExpression.cpp diff --git a/examples/smpi/CMakeLists.txt b/examples/smpi/CMakeLists.txt index 8109e2d56d..9d0b180a6e 100644 --- a/examples/smpi/CMakeLists.txt +++ b/examples/smpi/CMakeLists.txt @@ -32,7 +32,7 @@ foreach(x trace trace_simple trace_call_location energy gemm) set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/${x}/${x}.c) endforeach() foreach(x bugged1 bugged2 bugged1_liveness only_send_deterministic mutual_exclusion non_termination1 - non_termination2 non_termination3 non_termination4) + non_termination2 non_termination3 non_termination4 sendsend) set(examples_src ${examples_src} ${CMAKE_CURRENT_SOURCE_DIR}/mc/${x}.c) endforeach() @@ -43,6 +43,7 @@ set(tesh_files ${tesh_files} ${CMAKE_CURRENT_SOURCE_DIR}/energy/energy.tes ${CMAKE_CURRENT_SOURCE_DIR}/trace_simple/trace_simple.tesh ${CMAKE_CURRENT_SOURCE_DIR}/trace_call_location/trace_call_location.tesh ${CMAKE_CURRENT_SOURCE_DIR}/ampi_test/ampi_test.tesh + ${CMAKE_CURRENT_SOURCE_DIR}/mc/sendsend.tesh ${CMAKE_CURRENT_SOURCE_DIR}/replay/replay-override-replayer.tesh ${CMAKE_CURRENT_SOURCE_DIR}/replay/replay.tesh PARENT_SCOPE) set(bin_files ${bin_files} ${CMAKE_CURRENT_SOURCE_DIR}/hostfile -- 2.20.1