Merge branch 'mc' into mc++

[simgrid.git] / examples / msg / mc / centralized.tesh

diff --git a/examples/msg/mc/centralized.tesh b/examples/msg/mc/centralized.tesh
index 843d571e234e05dac615b599439b8e8e91a060ff..f5b08c3382a9843cd6d6fbc86eb15e34d9bd3b5f 100644 (file)
--- a/examples/msg/mc/centralized.tesh
+++ b/examples/msg/mc/centralized.tesh
@@ -1,6 +1,6 @@
 #! ./tesh
 
-$ ./centralized
+$ ${bindir:=.}/centralized --cfg=model-check:1
 > [Fafard:client:(2) 0.000000] [centralized/INFO] Ask the request
 > [Boivin:client:(3) 0.000000] [centralized/INFO] Ask the request
 > [TeX:client:(4) 0.000000] [centralized/INFO] Ask the request