model-check : show stack when property not valid

[simgrid.git] / tools / graphicator / graphicator.tesh

diff --git a/tools/graphicator/graphicator.tesh b/tools/graphicator/graphicator.tesh
index 0e70163100d4d1b42c12b2e13dcde767766228a6..8b9eacc02f351e0f756a39cc0f08e1815befdbe2 100644 (file)
--- a/tools/graphicator/graphicator.tesh
+++ b/tools/graphicator/graphicator.tesh
@@ -1,6 +1,9 @@
 #! ./tesh
 
-$ ${bindir:=.}/graphicator ${srcdir:=.}/teshsuite/simdag/platforms/one_cluster.xml test.dot
-> [0.000000] [surf_workstation/INFO] surf_workstation_model_init_ptask_L07
+$ ${bindir:=.}/graphicator ${srcdir:=.}/teshsuite/simdag/platforms/one_cluster.xml --cfg=tracing:1 --cfg=tracing/platform:1 test.dot
+> [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing' to '1'
+> [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing/platform' to '1'
+> [0.000000] [graphicator/INFO] Output is in file test.dot
+
 
 $ rm test.dot