Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of https://github.com/mpoquet/simgrid
[simgrid.git] / teshsuite / mc / mutex-handling / mutex-handling.tesh
index 0df840c..1e6a8a9 100644 (file)
@@ -1,4 +1,4 @@
 #!/usr/bin/env tesh
 ! expect return 1
 ! output ignore
-$ ${bindir:=.}/../../bin/simgrid-mc ${bindir:=.}/with_mutex_handling ../../examples/platforms/platform.xml mutex_handling.xml
+$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/mutex-handling ${srcdir:=.}/examples/platforms/small_platform.xml ${srcdir:=.}/teshsuite/mc/mutex-handling/mutex-handling_d.xml