Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
[simgrid.git] / teshsuite / mc / without_mutex_handling.tesh
1 #!/usr/bin/env tesh
2 ! expect return 1
3 ! output ignore
4 $ ${bindir:=.}/../../bin/simgrid-mc ${bindir:=.}/without_mutex_handling ../../examples/platforms/platform.xml mutex_handling.xml