From b484816accc27d0087512b6d2cd7da35a58d3bf5 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 30 Jul 2012 16:16:13 +0200 Subject: [PATCH] model-checker : remove core dump for each reached pair --- src/mc/mc_liveness.c | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index e3bec582b9..38d0ad1921 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -83,9 +83,7 @@ int reached(xbt_state_t st){ /* New pair reached */ xbt_dynar_push(reached_pairs, &new_pair); MC_UNSET_RAW_MEM; - - create_dump(xbt_dynar_length(reached_pairs)); - + return 0; }else{ @@ -116,8 +114,6 @@ int reached(xbt_state_t st){ } } - create_dump(xbt_dynar_length(reached_pairs)); - /* New pair reached */ xbt_dynar_push(reached_pairs, &new_pair); @@ -166,8 +162,6 @@ void set_pair_reached(xbt_state_t st){ MC_UNSET_RAW_MEM; - create_dump(xbt_dynar_length(reached_pairs)); - if(raw_mem_set) MC_SET_RAW_MEM; else -- 2.20.1