Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

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

diff --git a/examples/msg/mc/centralized.tesh b/examples/msg/mc/centralized.tesh
index 1e14eb3dbf8b1fb2cb51d514fa768b7a359576df..f5b08c3382a9843cd6d6fbc86eb15e34d9bd3b5f 100644 (file)
--- a/examples/msg/mc/centralized.tesh
+++ b/examples/msg/mc/centralized.tesh
@@ -1,6 +1,6 @@
 #! ./tesh
 
-$ ${bindir:=.}/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