X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/48296e83ce3ba1fa3658a3a74d10a536e33b3849..7892398d58ea8c28bdbc03bb251bd58e1b66f03e:/MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 65352d5e67..ebaf62ecd4 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -717,6 +717,7 @@ include examples/smpi/trace_simple/trace_simple.tesh
 include examples/sthread/pthread-mutex-simple.c
 include examples/sthread/pthread-mutex-simple.tesh
 include examples/sthread/sthread-mutex-simple.c
+include examples/sthread/sthread-mutex-simple.tesh
 include src/include/catch_simgrid.hpp
 include teshsuite/java/semaphoregc/SemaphoreGC.java
 include teshsuite/java/semaphoregc/semaphoregc.tesh
@@ -900,20 +901,26 @@ include teshsuite/smpi/MBI/CollMatchingGenerator.py
 include teshsuite/smpi/MBI/CollP2PMatchingGenerator.py
 include teshsuite/smpi/MBI/CollP2PMessageRaceGenerator.py
 include teshsuite/smpi/MBI/CollTopoGenerator.py
+include teshsuite/smpi/MBI/InputHazardGenerator.py
 include teshsuite/smpi/MBI/MBI.py
 include teshsuite/smpi/MBI/MBIutils.py
 include teshsuite/smpi/MBI/MissingWaitandStartGenerator.py
 include teshsuite/smpi/MBI/P2PArgGenerator.py
+include teshsuite/smpi/MBI/P2PBufferingGenerator.py
 include teshsuite/smpi/MBI/P2PComGenerator.py
 include teshsuite/smpi/MBI/P2PInvalidComGenerator.py
 include teshsuite/smpi/MBI/P2PLocalConcurrencyGenerator.py
 include teshsuite/smpi/MBI/P2PMatchingANYSRCGenerator.py
 include teshsuite/smpi/MBI/P2PMatchingGenerator.py
+include teshsuite/smpi/MBI/P2PMessageRaceGenerator.py
+include teshsuite/smpi/MBI/P2PMessageRaceTagsGenerator.py
 include teshsuite/smpi/MBI/P2PProbeGenerator.py
+include teshsuite/smpi/MBI/P2PSendrecvArgGenerator.py
 include teshsuite/smpi/MBI/RMAArgGenerator.py
 include teshsuite/smpi/MBI/RMAInvalidArgGenerator.py
 include teshsuite/smpi/MBI/RMALocalLocalConcurrencyGenerator.py
 include teshsuite/smpi/MBI/RMAP2PGlobalConcurrencyGenerator.py
+include teshsuite/smpi/MBI/RMAP2PLocalConcurrencyGenerator.py
 include teshsuite/smpi/MBI/RMARemoteLocalConcurrencyGenerator.py
 include teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py
 include teshsuite/smpi/MBI/RMAReqLifecycleGenerator.py