From 82cf3d43c742ba91f7c78bae73a0926c8ca71cd6 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 25 Jul 2019 01:42:50 +0200 Subject: [PATCH 1/1] safety: give some basic logging at verbose level already --- src/mc/checker/SafetyChecker.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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++; -- 2.20.1