X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fefd7e29e7bf5ae19e8421232861fe17c6115c9f..ef83b403e228c79b1d613d6c52dff1418ab6b71c:/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
index 0000000000..58f31e8131
--- /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