From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 20 Sep 2012 08:50:22 +0000 (+0200)
Subject: model-checker : print local variables only with debug mode enabled
X-Git-Tag: v3_8~135
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/bc1dc348a31cb198cb91c324063e19a6dd72fd49

model-checker : print local variables only with debug mode enabled
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index fa16d65291..9f46c20cd7 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -921,7 +921,8 @@ void MC_get_binary_local_variables(){
 
   }
 
-  print_local_variables(mc_binary_local_variables);
+  if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug))
+    print_local_variables(mc_binary_local_variables);
 
   free(line); free(tmp_line); free(tmp_location); free(frame_name);
   free(node_type); free(location_type); free(variable_name); free(lowpc); free(highpc);