From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 31 Jan 2013 22:32:03 +0000 (+0100)
Subject: model-checker : debug message if log enabled
X-Git-Tag: v3_9_90~554
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1216e8f0f02bb52f690f8cb60cfced9d4dc40f57

model-checker : debug message if log enabled
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 8067a737c0..8f2dadcff5 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -476,9 +476,11 @@ void MC_ddfs(int search_cycle){
    
         /* Debug information */
        
-        req_str = MC_request_to_string(req, value);
-        XBT_DEBUG("Execute: %s", req_str);
-        xbt_free(req_str);
+        if(XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){
+          req_str = MC_request_to_string(req, value);
+          XBT_DEBUG("Execute: %s", req_str);
+          xbt_free(req_str);
+        }
 
         MC_state_set_executed_request(current_pair->graph_state, req, value);