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

Public GIT Repository
Merge branch 'udpor-phase6' into 'master'
[simgrid.git] / teshsuite / mc / mutex-handling / mutex-handling.tesh
index 6f066b0af05fc3d57c767985924940c2557ee279..426c3019dd1f215d12efef5a6a82e83c94487e96 100644 (file)
@@ -1,4 +1,4 @@
 #!/usr/bin/env tesh
 ! expect return 1
-! output ignore
-$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/with_mutex_handling ${srcdir:=.}/examples/platforms/platform.xml mutex_handling.xml
+! output display
+$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/mutex-handling ${srcdir:=.}/examples/platforms/small_platform.xml