From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 1 Oct 2013 08:51:15 +0000 (+0200)
Subject: model-checker : fix removal of a visited pair in liveness MC
X-Git-Tag: v3_9_90~56^2~9
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6fc9b4f557c9d004ef9976e34e22d56ed8b19b1b?hp=9788cd051f72b982ec571c96e84577e9749188b1;ds=sidebyside

model-checker : fix removal of a visited pair in liveness MC
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 2b3e32e595..6f977cdf88 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -321,13 +321,13 @@ static int is_visited_pair(mc_pair_t pair){
     }
 
     if(xbt_dynar_length(visited_pairs) > _sg_mc_visited){
-      int min = mc_stats->expanded_states;
+      int min2 = mc_stats->expanded_pairs;
       unsigned int cursor2 = 0;
       unsigned int index2 = 0;
       xbt_dynar_foreach(visited_pairs, cursor2, pair_test){
-        if(pair_test->num < min){
-          index = cursor2;
-          min = pair_test->num;
+        if(pair_test->num < min2){
+          index2 = cursor2;
+          min2 = pair_test->num;
         }
       }
       xbt_dynar_remove_at(visited_pairs, index2, &pair_test);