Try to fix a failure about mutex freed too early in RMA

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

diff --git a/teshsuite/mc/mutex-handling/mutex-handling.tesh b/teshsuite/mc/mutex-handling/mutex-handling.tesh
index 4527df763c9387a95590a116f01158ca11990d47..278ad03c7753d2dad7fb31bec609e6cba2bbebaa 100644 (file)
--- a/teshsuite/mc/mutex-handling/mutex-handling.tesh
+++ b/teshsuite/mc/mutex-handling/mutex-handling.tesh
@@ -1,4 +1,4 @@
 #!/usr/bin/env tesh
 ! expect return 1
-! output ignore
-$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/mutex-handling ${srcdir:=.}/examples/platforms/platform.xml ${bindir:=.}/mutex_handling.xml
+! output display
+$ $VALGRIND_NO_TRACE_CHILDREN ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/mutex-handling ${srcdir:=.}/examples/platforms/small_platform.xml