From 37718d60e79ea80109417995fb94aa9cbbe29e14 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 3 Jun 2014 18:13:18 +0200 Subject: [PATCH] model-checker : reword debug message --- src/mc/mc_comm_determinism.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/mc_comm_determinism.c b/src/mc/mc_comm_determinism.c index fc8cb90d99..a986715cf3 100644 --- a/src/mc/mc_comm_determinism.c +++ b/src/mc/mc_comm_determinism.c @@ -393,7 +393,7 @@ void MC_modelcheck_comm_determinism(void) if (xbt_fifo_size(mc_stack) > _sg_mc_max_depth) { XBT_WARN("/!\\ Max depth reached ! /!\\ "); } else if (visited_state != -1) { - XBT_DEBUG("State already visited, stop the exploration"); + XBT_DEBUG("State already visited, exploration stopped on this path."); } else { XBT_DEBUG("There are no more processes to interleave. (depth %d)", xbt_fifo_size(mc_stack) + 1); -- 2.20.1