]> AND Public Git Repository - simgrid.git/blobdiff - teshsuite/mc/mutex-handling/without-mutex-handling.tesh
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: Further renamings
[simgrid.git] / teshsuite / mc / mutex-handling / without-mutex-handling.tesh
index 4b966ad4cb8e373f582a5eb1c1f283624e424426..7941c88c5c01ff3c07d2315adc3c9800357b3e5b 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 ${srcdir:=.}/teshsuite/mc/mutex-handling/mutex-handling_d.xml
+! output display
+! timeout 30
+$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/without-mutex-handling ${srcdir:=.}/examples/platforms/small_platform.xml ${srcdir:=.}/teshsuite/mc/mutex-handling/mutex-handling_d.xml