From 03b941b5d37f891da6c5b00cb8b9ce4e348eb0df Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 15 Nov 2012 17:27:40 +0100 Subject: [PATCH] model-checker : memory free --- src/mc/mc_liveness.c | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 3dc68fc370..fa20959f6e 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -480,6 +480,15 @@ void pair_reached_free(mc_pair_reached_t pair){ if(pair){ pair->automaton_state = NULL; xbt_dynar_free(&(pair->prop_ato)); + if(pair->comparison_times != NULL){ + xbt_dynar_free(&(pair->comparison_times->snapshot_comparison_times)); + xbt_dynar_free(&(pair->comparison_times->chunks_used_comparison_times)); + xbt_dynar_free(&(pair->comparison_times->stacks_sizes_comparison_times)); + xbt_dynar_free(&(pair->comparison_times->program_data_segment_comparison_times)); + xbt_dynar_free(&(pair->comparison_times->libsimgrid_data_segment_comparison_times)); + xbt_dynar_free(&(pair->comparison_times->heap_comparison_times)); + xbt_dynar_free(&(pair->comparison_times->stacks_comparison_times)); + } MC_free_snapshot(pair->system_state); xbt_free(pair); } -- 2.20.1