Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc/compare: dead stores.
[simgrid.git] / MANIFEST.in
index b58b894..75b0723 100644 (file)
@@ -557,6 +557,7 @@ include teshsuite/mc/mutex-handling/mutex-handling.c
 include teshsuite/mc/mutex-handling/mutex-handling.tesh
 include teshsuite/mc/mutex-handling/mutex-handling_d.xml
 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