From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 11 Feb 2013 08:08:42 +0000 (+0100)
Subject: model-checker : fix memory leak
X-Git-Tag: v3_9_90~460
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2ff090eb3fb94469c8933f478a65d3c95a876bad?ds=sidebyside

model-checker : fix memory leak
---

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 6ab29d09c6..29c8420972 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -303,6 +303,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
         XBT_VERB("Different global variables in binary"); 
       #endif
     
+      reset_heap_information();
       xbt_os_timer_free(timer);
       xbt_os_timer_stop(global_timer);
       mc_snapshot_comparison_time = xbt_os_timer_elapsed(global_timer);
@@ -333,7 +334,8 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
       #ifdef MC_VERBOSE
         XBT_VERB("Different global variables in libsimgrid"); 
       #endif
-    
+        
+      reset_heap_information();
       xbt_os_timer_free(timer);
       xbt_os_timer_stop(global_timer);
       mc_snapshot_comparison_time = xbt_os_timer_elapsed(global_timer);