From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 1 Jun 2012 15:49:11 +0000 (+0200)
Subject: model-checker : oops, about 3000 blocks unchecked in heap comparison algorithm .... 
X-Git-Tag: v3_8~659
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/854b0effe9cf4b457edd55197f76d6d7f489612a?hp=36868a3c80a0f6ed125216285108dbe7f2bc3dd8

model-checker : oops, about 3000 blocks unchecked in heap comparison algorithm ... stop condition changed
---

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 72e8845f98..17dca5f9ba 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -208,7 +208,7 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2, void* s_heap,
 
   /* Check busy blocks*/
 
-  while(i < mdp1->heapindex){
+  while(i < mdp1->heaplimit){
 
     if(mdp1->heapinfo[i].type != mdp2->heapinfo[i].type){
       fprintf(stderr,"Different type of block : %d - %d\n", mdp1->heapinfo[i].type, mdp2->heapinfo[i].type);