X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f2d82cdda6544bcfe288e3c9a523bbf138b7f5db..606fd6074429a2b25a185ba92dce29759ab41255:/examples/msg/mc/centralized.tesh

diff --git a/examples/msg/mc/centralized.tesh b/examples/msg/mc/centralized.tesh
index 843d571e23..f5b08c3382 100644
--- 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