From 9006d78ba8a08a6500c994bb8141f48376448fc4 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 13 Jun 2012 15:42:08 +0200 Subject: [PATCH] model-checker : in second test unit, snapshot comparison done before MC_UNSET_RAW_MEM (set current heap=std_heap) --- src/mc/mc_liveness.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 66e290fa00..521129e930 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -1329,9 +1329,9 @@ XBT_TEST_UNIT("snapshots_comparison2", test2_compare_snapshot, "Comparison of sn mc_snapshot_t snapshot2 = xbt_new0(s_mc_snapshot_t, 1); MC_take_snapshot_liveness(snapshot2); - MC_UNSET_RAW_MEM; - xbt_test_assert(snapshot_compare(snapshot1, snapshot2) != 0, "Same snapshot with new allocations"); + + MC_UNSET_RAW_MEM; } -- 2.20.1