[mc] Add a test to examplify that we should handle mutex operations in MC

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

diff --git a/teshsuite/mc/no_mutex_handling.tesh b/teshsuite/mc/no_mutex_handling.tesh
new file mode 100644 (file)
index 0000000..58f31e8
--- /dev/null
+++ b/teshsuite/mc/no_mutex_handling.tesh
@@ -0,0 +1,4 @@
+#!/usr/bin/env tesh
+! expect return 1
+! output ignore
+$ ${bindir:=.}/../../bin/simgrid-mc ${bindir:=.}/no_mutex_handling --cfg=model-check:1 ../../examples/platforms/platform.xml mutex_handling.xml