From 991b65d1ab6f9f0b970b700c1f27e8a4f053de7e Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 5 Oct 2012 13:27:35 +0200 Subject: [PATCH] model-checker : remove unused variable with debug mode disabled --- src/mc/test/compare_snapshot.c | 18 ++++++------------ 1 file changed, 6 insertions(+), 12 deletions(-) diff --git a/src/mc/test/compare_snapshot.c b/src/mc/test/compare_snapshot.c index d8ad53be3a..5a3fdfe523 100644 --- a/src/mc/test/compare_snapshot.c +++ b/src/mc/test/compare_snapshot.c @@ -21,8 +21,7 @@ static void test1() mc_snapshot_t snapshot2 = xbt_new0(s_mc_snapshot_t, 1); MC_take_snapshot_liveness(snapshot2); - int res = snapshot_compare(snapshot1, snapshot2); - xbt_assert(res == 0); + xbt_assert(snapshot_compare(snapshot1, snapshot2) == 0); MC_UNSET_RAW_MEM; @@ -58,8 +57,7 @@ static void test2() mc_snapshot_t snapshot2 = xbt_new0(s_mc_snapshot_t, 1); MC_take_snapshot_liveness(snapshot2); - int res = snapshot_compare(snapshot1, snapshot2); - xbt_assert(res != 0); + xbt_assert(snapshot_compare(snapshot1, snapshot2) != 0); MC_UNSET_RAW_MEM; @@ -98,8 +96,7 @@ static void test3() mc_snapshot_t snapshot2 = xbt_new0(s_mc_snapshot_t, 1); MC_take_snapshot_liveness(snapshot2); - int res = snapshot_compare(snapshot1, snapshot2); - xbt_assert(res == 0); + xbt_assert(snapshot_compare(snapshot1, snapshot2) == 0); MC_UNSET_RAW_MEM; @@ -137,8 +134,7 @@ static void test4() mc_snapshot_t snapshot2 = xbt_new0(s_mc_snapshot_t, 1); MC_take_snapshot_liveness(snapshot2); - int res = snapshot_compare(snapshot1, snapshot2); - xbt_assert(res != 0); + xbt_assert(snapshot_compare(snapshot1, snapshot2) != 0); MC_UNSET_RAW_MEM; @@ -176,8 +172,7 @@ static void test5() mc_snapshot_t snapshot2 = xbt_new0(s_mc_snapshot_t, 1); MC_take_snapshot_liveness(snapshot2); - int res = snapshot_compare(snapshot1, snapshot2); - xbt_assert(res != 0); + xbt_assert(snapshot_compare(snapshot1, snapshot2) != 0); MC_UNSET_RAW_MEM; @@ -215,8 +210,7 @@ static void test6() mc_snapshot_t snapshot2 = xbt_new0(s_mc_snapshot_t, 1); MC_take_snapshot_liveness(snapshot2); - int res = snapshot_compare(snapshot1, snapshot2); - xbt_assert(res == 0); + xbt_assert(snapshot_compare(snapshot1, snapshot2) == 0); MC_UNSET_RAW_MEM; -- 2.20.1