From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 12 Aug 2013 17:38:46 +0000 (+0200)
Subject: model-checker : fix comparison of local variables
X-Git-Tag: v3_9_90~128^2~13
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/74b753c075bcd054409e619771d3b5967cfdb60e

model-checker : fix comparison of local variables
---

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 083710abc1..1037bf8efd 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -293,8 +293,8 @@ static int compare_local_variables(mc_snapshot_stack_t stack1, mc_snapshot_stack
         res = compare_areas_with_type( (char *)heap1 + offset1, (char *)heap2 + offset2, mc_variables_type_libsimgrid, mc_variables_type_binary, current_var1->type, 0, 1, start_data_libsimgrid, 0l);
       else
         res = compare_areas_with_type( (char *)heap1 + offset1, (char *)heap2 + offset2, mc_variables_type_binary, mc_variables_type_libsimgrid, current_var1->type, 0, 2, start_data_binary, 0l);
-      if(res != 0){
-        XBT_VERB("Local variable %s in frame %s  is different between snapshots", current_var1->name, current_var1->frame);
+      if(res == 1){
+        XBT_VERB("Local variable %s (%p - %p)  in frame %s  is different between snapshots", current_var1->name, (char *)heap1 + offset1, (char *)heap2 + offset2, current_var1->frame);
         return res;
       }
       cursor++;