From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 16 Aug 2012 22:24:49 +0000 (+0200)
Subject: model-checker : equal_to field of blocks/fragments updated twice with match_equals
X-Git-Tag: v3_8~146^2~97^2~8
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a1ea25d2fc3acda3fdaad9e2fc2b03769fe234d5?ds=sidebyside

model-checker : equal_to field of blocks/fragments updated twice with match_equals
---

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 0725a9c129..019166d270 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -212,13 +212,14 @@ int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2){
         }
         
         if(!res_compare){
-          for(k=0; k < heapinfo2[i2].busy_block.size; k++)
+          for(k=1; k < heapinfo2[i2].busy_block.size; k++)
             heapinfo2[i2+k].busy_block.equal_to = 1;
-          for(k=0; k < heapinfo1[i1].busy_block.size; k++)
+          for(k=1; k < heapinfo1[i1].busy_block.size; k++)
             heapinfo1[i1+k].busy_block.equal_to = 1;
           equal = 1;
           match_equals(previous);
         }
+
         xbt_dynar_reset(previous);
 
         i2++;
@@ -274,8 +275,6 @@ int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2){
             }
 
             if(!res_compare){
-              heapinfo2[i2].busy_frag.equal_to[j2] = 1;
-              heapinfo1[i1].busy_frag.equal_to[j1] = 1;
               equal = 1;
               match_equals(previous);
               xbt_dynar_reset(previous);