model-checker : fix bugged1_liveness example

diff --git a/examples/msg/mc/bugged1_liveness.c b/examples/msg/mc/bugged1_liveness.c
index 19f8d61..6f74bf2 100644 (file)
--- a/examples/msg/mc/bugged1_liveness.c
+++ b/examples/msg/mc/bugged1_liveness.c
@@ -56,6 +56,7 @@ int coordinator(int argc, char *argv[])
           MSG_task_send(MSG_task_create("grant", 0, 1000, NULL), req);
         }else{
           xbt_dynar_push(requests, &req);
           MSG_task_send(MSG_task_create("grant", 0, 1000, NULL), req);
         }else{
           xbt_dynar_push(requests, &req);

+          CS_used = 0;

         }
       }else{
         XBT_INFO("CS release. resource now idle");
         }
       }else{
         XBT_INFO("CS release. resource now idle");