From 2aad2f9ce120b767be27c53e7d03b08a8e4e761f Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sun, 29 Sep 2013 10:17:56 +0200 Subject: [PATCH] model-checker : fix bugged mutual exclusion example in SMPI --- examples/smpi/mc/bugged1_liveness.c | 1 + 1 file changed, 1 insertion(+) diff --git a/examples/smpi/mc/bugged1_liveness.c b/examples/smpi/mc/bugged1_liveness.c index f7dab1be1b..4b5b067d3b 100644 --- a/examples/smpi/mc/bugged1_liveness.c +++ b/examples/smpi/mc/bugged1_liveness.c @@ -71,6 +71,7 @@ int main(int argc, char **argv){ CS_used = 1; }else{ xbt_dynar_push(requests, &recv_buff); + CS_used = 0; } }else{ printf("CS release. Resource now idle.\n"); -- 2.20.1