fix make dist and python dist

diff --git a/MANIFEST.in b/MANIFEST.in
index 6bd5660..ac81774 100644 (file)
--- 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 8109e2d..9d0b180 100644 (file)
--- 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