From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 19 Oct 2012 12:42:13 +0000 (+0200)
Subject: model-checker : don't call exit at the end of MC (segfault on atexit)
X-Git-Tag: v3_9_rc1~91^2~162
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7b784c47bdc7fd9521ab151e654c0260dca7f2b3

model-checker : don't call exit at the end of MC (segfault on atexit)
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 0692a233f4..28a5c4e261 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -229,8 +229,7 @@ void MC_modelcheck_liveness(){
   /* We're done */
   MC_print_statistics_pairs(mc_stats_pair);
   xbt_free(mc_time);
-  MC_memory_exit();
-  exit(0);
+
 }