From 97aa0e698984b850ad794879f10e2978e4ec94fe Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 13 Jun 2012 14:58:19 +0200 Subject: [PATCH] model-checker : new test unit for snapshot comparison --- src/mc/mc_liveness.c | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index e2659351c2..ad69283f38 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -1305,6 +1305,35 @@ XBT_TEST_UNIT("snapshots_comparison", test_compare_snapshot, "Comparison of snap xbt_test_assert(snapshot_compare(snapshot1, snapshot2, std_heap, raw_heap) == 0, "Different consecutive snapshot"); +} + +XBT_TEST_UNIT("snapshots_comparison2", test2_compare_snapshot, "Comparison of snapshots with modification between") +{ + + MC_SET_RAW_MEM; + + /* Save first snapshot */ + mc_snapshot_t snapshot1 = xbt_new0(s_mc_snapshot_t, 1); + MC_take_snapshot_liveness(snapshot1); + + MC_UNSET_RAW_MEM; + + void *test = snapshot1; + test = (char*)test+1; + char* t= strdup("toto"); + t=strdup("tat"); + + MC_SET_RAW_MEM; + + /* Save second snapshot */ + 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, std_heap) != 0, "Same snapshot with new allocations"); + + } #endif -- 2.20.1