From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 3 Oct 2013 17:39:33 +0000 (+0200)
Subject: model-checker : fix sort of acceptance pairs
X-Git-Tag: v3_9_90~40^2~25
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ca6abe0d265dbe49de8f506e201218b632bd82cb?ds=inline

model-checker : fix sort of acceptance pairs
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 6f977cdf88..e62c1f68c5 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -203,10 +203,15 @@ static void set_acceptance_pair_reached(mc_pair_t pair){
       }
     }
 
-    if(bytes_used_test < current_bytes_used)
-      xbt_dynar_insert_at(acceptance_pairs, cursor + 1, &pair);
-    else
-      xbt_dynar_insert_at(acceptance_pairs, cursor, &pair);    
+    if(pair_test->nb_processes < pair->nb_processes){
+      xbt_dynar_insert_at(acceptance_pairs, cursor+1, &pair);
+    }else{
+      if(pair_test->heap_bytes_used < pair->heap_bytes_used)
+        xbt_dynar_insert_at(acceptance_pairs, cursor + 1, &pair);
+      else
+        xbt_dynar_insert_at(acceptance_pairs, cursor, &pair);
+    }    
+
   }
 
   if(!raw_mem_set)