model-checker: new examples for liveness model checking

[simgrid.git] / examples / msg / mc / example_liveness_without_cycle.c

diff --git a/examples/msg/mc/example_liveness_without_cycle.c b/examples/msg/mc/example_liveness_without_cycle.c
index 11983b9..219524b 100644 (file)
--- a/examples/msg/mc/example_liveness_without_cycle.c
+++ b/examples/msg/mc/example_liveness_without_cycle.c
@@ -12,7 +12,7 @@ XBT_LOG_NEW_DEFAULT_CATEGORY(example_liveness_without_cycle, "Example liveness w
 
 extern xbt_automaton_t automaton;
 
-int r=1;
+int r=0;
 int e=1;
 int d=1;