From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 28 Nov 2011 15:28:41 +0000 (+0100)
Subject: model-checker : comparison of heap between two snapshots made on the copy and not... 
X-Git-Tag: exp_20120216~133^2~32
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a8ec6e33d5e1d2c207eeb78111330271eb6f28fc?hp=e2936fea2cb322ff09366ff2828a11490c105b14

model-checker : comparison of heap between two snapshots made on the copy and not on the current heap
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 65f81501f4..c2f5f93e93 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -42,7 +42,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
 	//XBT_DEBUG("Different start addr of heap (s1 = %p, s2 = %p)", s1->regions[i]->start_addr, s2->regions[i]->start_addr);
       return 1;
       }
-      if(mmalloc_compare_heap(s1->regions[i]->start_addr, s2->regions[i]->start_addr)){
+      if(mmalloc_compare_heap(s1->regions[i]->data, s2->regions[i]->data)){
 	//XBT_DEBUG("Different heap (mmalloc_compare)");
 	errors++; 
       }