From 78c913384603a2111abf8f170b2a2d0090aabf45 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 3 Jun 2014 18:14:09 +0200 Subject: [PATCH 1/1] model-checker : use the right heap --- src/mc/mc_comm_determinism.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/mc/mc_comm_determinism.c b/src/mc/mc_comm_determinism.c index a986715cf3..37a6f9054f 100644 --- a/src/mc/mc_comm_determinism.c +++ b/src/mc/mc_comm_determinism.c @@ -415,6 +415,7 @@ void MC_modelcheck_comm_determinism(void) XBT_INFO("Communications pattern counter-example:"); print_communications_pattern(communications_pattern); MC_print_statistics(mc_stats); + MC_SET_STD_HEAP; return; } else if (initial_global_state->send_deterministic == 0 && _sg_mc_send_determinism) { @@ -429,6 +430,7 @@ void MC_modelcheck_comm_determinism(void) XBT_INFO("Communications pattern counter-example:"); print_communications_pattern(communications_pattern); MC_print_statistics(mc_stats); + MC_SET_STD_HEAP; return; } } else { -- 2.20.1