MC: perform actual model-checking in tesh tests

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

diff --git a/examples/msg/mc/centralized.tesh b/examples/msg/mc/centralized.tesh
index 1e14eb3..f5b08c3 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