From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sun, 11 Nov 2012 19:37:50 +0000 (+0100)
Subject: model-checker : remove chunks used comparison at the beginning of mmalloc_compare... 
X-Git-Tag: v3_9_rc1~91^2~126^2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/da20663956217657b0500d8e1a6d4c8c6a74eb62?hp=16098557e7e5089d731a81792914ca81fff7fb4a

model-checker : remove chunks used comparison at the beginning of mmalloc_compare(), done at the beginning of snasphot_compare()
---

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index b019d5b95c..9d0a154a85 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -135,11 +135,6 @@ int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2, xbt_dynar_t *stac
     return 1;
   }
 
-  if(heap1->heapstats.chunks_used != heap2->heapstats.chunks_used){
-    XBT_DEBUG("Different number of chunks used in heap : %zu - %zu", heap1->heapstats.chunks_used, heap2->heapstats.chunks_used);
-    return 1;
-  }
-
   /* Heap information */
   heaplimit = ((struct mdesc *)heap1)->heaplimit;