Merge branch 'pikachuyann/simgrid-xbt_random'

[simgrid.git] / teshsuite / mc / mutex-handling / mutex-handling.tesh

#!/usr/bin/env tesh
! expect return 1
! output display
$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/mutex-handling ${srcdir:=.}/examples/platforms/small_platform.xml ${srcdir:=.}/teshsuite/mc/mutex-handling/mutex-handling_d.xml