From f3c8c23cc7784052a0cce9a77975d4dcfe4ba903 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 24 May 2012 10:37:08 +0200 Subject: [PATCH] model-checker : switch between data program and data libsimgrid for comparison of regions --- src/mc/mc_liveness.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index ed468f5425..8255beacaa 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -190,7 +190,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2, void* s_heap, void* r_h return 1; } } - if(data_program_region_compare(s1->regions[i]->data, s2->regions[i]->data, s1->regions[i]->size) != 0){ + if(data_libsimgrid_region_compare(s1->regions[i]->data, s2->regions[i]->data, s1->regions[i]->size) != 0){ if(XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){ XBT_DEBUG("Different memcmp for data in libsimgrid"); errors++; @@ -216,9 +216,9 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2, void* s_heap, void* r_h return 1; } } - if(data_libsimgrid_region_compare(s1->regions[i]->data, s2->regions[i]->data, s1->regions[i]->size) != 0){ + if(data_program_region_compare(s1->regions[i]->data, s2->regions[i]->data, s1->regions[i]->size) != 0){ if(XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){ - XBT_DEBUG("Different memcmp for data in libsimgrid"); + XBT_DEBUG("Different memcmp for data in program"); errors++; }else{ return 1; -- 2.20.1