From 74b753c075bcd054409e619771d3b5967cfdb60e Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 12 Aug 2013 19:38:46 +0200 Subject: [PATCH] model-checker : fix comparison of local variables --- src/mc/mc_compare.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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++; -- 2.20.1