[simgrid.git] / teshsuite / mc / mutex_handling.tesh

#!/usr/bin/env tesh
! expect return 1
! output ignore
$ ${bindir:=.}/../../bin/simgrid-mc ${bindir:=.}/mutex_handling --cfg=model-check:1 ../../examples/platforms/platform.xml mutex_handling.xml