From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 19 Sep 2013 15:39:11 +0000 (+0200)
Subject: model-checker : fix bugged1_liveness example
X-Git-Tag: v3_9_90~104^2~36
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/828cf413a292ba0d6c5c3df2668d827bdafca8fe

model-checker : fix bugged1_liveness example
---

diff --git a/examples/msg/mc/bugged1_liveness.c b/examples/msg/mc/bugged1_liveness.c
index 19f8d613a9..6f74bf266d 100644
--- 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);
+          CS_used = 0;
         }
       }else{
         XBT_INFO("CS release. resource now idle");