From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 16 Nov 2012 16:21:54 +0000 (+0100)
Subject: model-checker : use XBT_DEBUG instead of XBT_INFO
X-Git-Tag: v3_9_rc1~91^2~75
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/faefbf1df4c06fd86d785d0a376356cd2375b81e

model-checker : use XBT_DEBUG instead of XBT_INFO
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index ac829535e5..97216765a5 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -247,10 +247,10 @@ int reached(xbt_state_t st){
             return 1;
           }       
         }else{
-          XBT_INFO("Different values of propositional symbols");
+          XBT_DEBUG("Different values of propositional symbols");
         }
       }else{
-        XBT_INFO("Different automaton state");
+        XBT_DEBUG("Different automaton state");
       }
       if(pair_test->comparison_times != NULL && XBT_LOG_ISENABLED(mc_liveness, xbt_log_priority_debug)){
         XBT_DEBUG("*** Comparison times statistics ***");
@@ -370,10 +370,10 @@ int visited(xbt_state_t st){
             return 1;
           }   
         }else{
-          XBT_INFO("Different values of propositional symbols");
+          XBT_DEBUG("Different values of propositional symbols");
         }
       }else{
-        XBT_INFO("Different automaton state");
+        XBT_DEBUG("Different automaton state");
       }
     }