X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/daf9d10c7877d35670e36e52be8a5207706d3bb1..0d1c9172064ba746ed23e4e36146a3605491f5fa:/examples/msg/mc/example2_liveness_without_cycle.c

diff --git a/examples/msg/mc/example2_liveness_without_cycle.c b/examples/msg/mc/example2_liveness_without_cycle.c
index 14c54b063a..519933c5dd 100644
--- a/examples/msg/mc/example2_liveness_without_cycle.c
+++ b/examples/msg/mc/example2_liveness_without_cycle.c
@@ -20,7 +20,7 @@ XBT_LOG_NEW_DEFAULT_CATEGORY(example_liveness_with_cycle, "Example liveness with
 extern xbt_automaton_t automaton;
 
 
-int p=1;
+int p=0;
 int q=0;
 
 
@@ -51,7 +51,7 @@ int server(int argc, char *argv[])
   val1 = (long) MSG_task_get_data(task1);
   XBT_INFO("Received %lu", val1);
 
-  //MC_assert_pair_stateless(val1 == 2);
+  MC_assert_pair_stateless(val1 == 2);
 
   /*if(val1 == 2)
     q = 1;