From 2208d8bf1b1bba38aed9ede7c590db842354d6e8 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 6 Jan 2017 18:30:02 +0100 Subject: [PATCH] if reductionMode_ is dpor, then it's not none. True fact --- src/mc/SafetyChecker.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp index 0c8d7aff95..638f91c2fc 100644 --- a/src/mc/SafetyChecker.cpp +++ b/src/mc/SafetyChecker.cpp @@ -219,8 +219,7 @@ int SafetyChecker::backtrack() const smx_actor_t issuer = MC_smx_simcall_get_issuer(req); for (auto i = stack_.rbegin(); i != stack_.rend(); ++i) { simgrid::mc::State* prev_state = i->get(); - if (reductionMode_ != simgrid::mc::ReductionMode::none - && simgrid::mc::request_depend(req, &prev_state->internal_req)) { + if (simgrid::mc::request_depend(req, &prev_state->internal_req)) { if (XBT_LOG_ISENABLED(mc_safety, xbt_log_priority_debug)) { XBT_DEBUG("Dependent Transitions:"); int value = prev_state->transition.argument; -- 2.20.1