From 828cf413a292ba0d6c5c3df2668d827bdafca8fe Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 19 Sep 2013 17:39:11 +0200 Subject: [PATCH] model-checker : fix bugged1_liveness example --- examples/msg/mc/bugged1_liveness.c | 1 + 1 file changed, 1 insertion(+) 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"); -- 2.20.1