From a1ea25d2fc3acda3fdaad9e2fc2b03769fe234d5 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 17 Aug 2012 00:24:49 +0200 Subject: [PATCH] model-checker : equal_to field of blocks/fragments updated twice with match_equals --- src/xbt/mmalloc/mm_diff.c | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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); -- 2.20.1