From faefbf1df4c06fd86d785d0a376356cd2375b81e Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 16 Nov 2012 17:21:54 +0100 Subject: [PATCH] model-checker : use XBT_DEBUG instead of XBT_INFO --- src/mc/mc_liveness.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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"); } } -- 2.20.1