From 04c2f2d2a1d483120cef0e6110df53178c8bfe04 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sun, 18 Nov 2012 19:40:43 +0100 Subject: [PATCH 1/1] model-checker : use XBT_DEBUG instead of XBT_INFO --- src/mc/mc_liveness.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 97216765a5..5c90750813 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -502,9 +502,9 @@ void MC_ddfs_init(void){ initial_state_liveness->raw_mem_set = (mmalloc_get_current_heap() == raw_heap); - XBT_INFO("**************************************************"); - XBT_INFO("Double-DFS init"); - XBT_INFO("**************************************************"); + XBT_DEBUG("**************************************************"); + XBT_DEBUG("Double-DFS init"); + XBT_DEBUG("**************************************************"); mc_pair_stateless_t mc_initial_pair = NULL; mc_state_t initial_graph_state = NULL; -- 2.20.1