From: Martin Quinson Date: Mon, 10 Apr 2017 23:26:26 +0000 (+0200) Subject: MC: this bug was disabling state equality detection X-Git-Tag: v3.16~370^2~18 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/35b406733ae5c5b8463d3712a09b430d8585ce6d MC: this bug was disabling state equality detection The variable is an integer being the maximal amount of state that we save at the same time (typically 1000). I'm not sure which int value is equal to "true", but I guess it's not 1000. --- diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp index ca58cfc68c..643c734c5b 100644 --- a/src/mc/checker/SafetyChecker.cpp +++ b/src/mc/checker/SafetyChecker.cpp @@ -158,7 +158,7 @@ void SafetyChecker::run() this->checkNonTermination(next_state.get()); /* Check whether we already explored next_state in the past (but only if interested in state-equality reduction) */ - if (_sg_mc_max_visited_states == true) + if (_sg_mc_max_visited_states > 0) visitedState_ = visitedStates_.addVisitedState(expandedStatesCount_, next_state.get(), true); /* If this is a new state (or if we don't care about state-equality reduction) */