From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sun, 29 Sep 2013 08:17:56 +0000 (+0200)
Subject: model-checker : fix bugged mutual exclusion example in SMPI
X-Git-Tag: v3_9_90~60^2~23
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2aad2f9ce120b767be27c53e7d03b08a8e4e761f?ds=inline

model-checker : fix bugged mutual exclusion example in SMPI
---

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");