#!/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
+$ ${bindir:=.}/../../bin/simgrid-mc ${bindir:=.}/mutex_handling ../../examples/platforms/platform.xml mutex_handling.xml