From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Wed, 24 Jul 2019 23:42:50 +0000 (+0200)
Subject: safety: give some basic logging at verbose level already
X-Git-Tag: v3.24~252
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/82cf3d43c742ba91f7c78bae73a0926c8ca71cd6?hp=e4f869f0eefc6832dbcca96b9c91ef2f44af4138

safety: give some basic logging at verbose level already
---

diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp
index d64486ac47..df92ccde5f 100644
--- a/src/mc/checker/SafetyChecker.cpp
+++ b/src/mc/checker/SafetyChecker.cpp
@@ -89,8 +89,8 @@ void SafetyChecker::run()
     simgrid::mc::State* state = stack_.back().get();
 
     XBT_DEBUG("**************************************************");
-    XBT_DEBUG("Exploration depth=%zu (state=%p, num %d)(%zu interleave)", stack_.size(), state, state->num,
-              state->interleaveSize());
+    XBT_VERB("Exploration depth=%zu (state=%p, num %d)(%zu interleave)", stack_.size(), state, state->num,
+             state->interleaveSize());
 
     mc_model_checker->visited_states++;