From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 11 Jan 2013 10:33:32 +0000 (+0100)
Subject: model-checker : free memory
X-Git-Tag: v3_9_rc1~86^2~19
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/88ca05cd1d857df41fed346b8d766f31a73b8ad8

model-checker : free memory
---

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 36ff8b95bc..323c11f901 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -474,12 +474,13 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2, mc_comparison_times_t c
     cursor++;
   }
 
+  XBT_VERB("Chunks used after comparison of stacks : %zu", mmalloc_get_chunks_used(raw_heap));
+
   xbt_dynar_free(&stacks1);
   xbt_dynar_free(&stacks2);
   xbt_dynar_free(&equals);
-
-  if(XBT_LOG_ISENABLED(mc_compare, xbt_log_priority_debug))    
-    xbt_os_timer_free(timer);
+   
+  xbt_os_timer_free(timer);
 
   if(!XBT_LOG_ISENABLED(mc_compare, xbt_log_priority_debug)){
     xbt_os_timer_stop(global_timer);