Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
smpi: fix issue with message IDs. In case of persistent request reused multiple times...
[simgrid.git] / teshsuite / mc / mutex-handling / without-mutex-handling.tesh
index cb89e4d3c8d49eafe032be7428b5031635fa3b0f..f59496306c549b2859567466a696751f88175784 100644 (file)
@@ -1,4 +1,5 @@
 #!/usr/bin/env tesh
 ! expect return 1
-! output ignore
-$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/without-mutex-handling ${srcdir:=.}/examples/platforms/platform.xml ${bindir:=.}/mutex-handling_d.xml
+! output display
+! timeout 30
+$ $VALGRIND_NO_TRACE_CHILDREN ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/without-mutex-handling ${srcdir:=.}/examples/platforms/small_platform.xml