X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b77d16c5d011f3c04ab6dcc2c4d5d2f865fd9415..29b2bf945239b1950c277f4afff78e8ea327000a:/src/mc/mc_safety.c

diff --git a/src/mc/mc_safety.c b/src/mc/mc_safety.c
index d68a78b30a..a77883fdcc 100644
--- a/src/mc/mc_safety.c
+++ b/src/mc/mc_safety.c
@@ -212,6 +212,8 @@ void MC_modelcheck_safety(void)
           XBT_DEBUG("User max depth reached !");
         else if (visited_state == -1)
           XBT_WARN("/!\\ Max depth reached ! /!\\ ");
+        else
+          XBT_DEBUG("State already visited, exploration stopped on this path.");
 
         if (mc_reduce_kind == e_mc_reduce_dpor) {
           /* Interleave enabled processes in the state in which they have been enabled for the first time */