X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d6eb772e45cc853fc204bb5aebeb411cdfa7c929..028d1ea1cbbb8c6fc9a6f981aab665270b661c20:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 1eea8b7924..1f7e06dc50 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -622,7 +622,6 @@ include teshsuite/mc/dwarf/dwarf.tesh include teshsuite/mc/mutex-handling/mutex-handling.cpp include teshsuite/mc/mutex-handling/mutex-handling.tesh include teshsuite/mc/mutex-handling/without-mutex-handling.tesh -include teshsuite/mc/random-bug/random-bug-nocrash.tesh include teshsuite/mc/random-bug/random-bug-replay.tesh include teshsuite/mc/random-bug/random-bug.cpp include teshsuite/mc/random-bug/random-bug.tesh @@ -2156,6 +2155,7 @@ include src/mc/api/State.cpp include src/mc/api/State.hpp include src/mc/api/guide/BasicGuide.hpp include src/mc/api/guide/GuidedState.hpp +include src/mc/api/guide/WaitGuide.hpp include src/mc/compare.cpp include src/mc/datatypes.h include src/mc/explo/CommunicationDeterminismChecker.cpp