Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add missing file
[simgrid.git] / MANIFEST.in
index 1eea8b7..1f7e06d 100644 (file)
@@ -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