From f2233893ce7b8b1276bb6ca8474e3d3224bb1459 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 24 May 2012 10:39:35 +0200 Subject: [PATCH] model-checker : reindent, no change --- src/mc/mc_liveness.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 8255beacaa..cd16a82d57 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -274,13 +274,13 @@ int reached(xbt_state_t st){ //if(xbt_dict_length(pair_test->rdv_points) == xbt_dict_length(current_rdv_points)){ //if(rdv_points_compare(pair_test->rdv_points, current_rdv_points) == 0){ if(snapshot_compare(pair_test->system_state, sn, std_heap, raw_heap) == 0){ - MC_free_snapshot(sn); - xbt_dynar_reset(prop_ato); - xbt_free(prop_ato); - MC_UNSET_RAW_MEM; - return 1; - } - /* } + MC_free_snapshot(sn); + xbt_dynar_reset(prop_ato); + xbt_free(prop_ato); + MC_UNSET_RAW_MEM; + return 1; + } + /* } }else{ XBT_DEBUG("Different size of rdv points (%d - %d)",xbt_dict_length(pair_test->rdv_points), xbt_dict_length(current_rdv_points) ); }*/ -- 2.20.1