From 13f8c10bd72f90cb6f70e9a03ce37dcbf6e01226 Mon Sep 17 00:00:00 2001 From: mlaurent Date: Fri, 24 Feb 2023 14:46:46 +0100 Subject: [PATCH] fix the done marking of multiple times taken transitions --- src/mc/explo/DFSExplorer.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp index e27cc33ac5..a98f32dc27 100644 --- a/src/mc/explo/DFSExplorer.cpp +++ b/src/mc/explo/DFSExplorer.cpp @@ -229,8 +229,7 @@ void DFSExplorer::backtrack() stack_.pop_back(); XBT_DEBUG("Marking Transition >>%s<< of process %ld done and adding it to the sleep set", state->get_transition()->to_string().c_str(), state->get_transition()->aid_); - state->mark_done(state->get_transition()->aid_); - state->add_sleep_set(state->get_transition()); + state->add_sleep_set(state->get_transition()); // Actors are marked done when they are considerd in ActorState if (reduction_mode_ == ReductionMode::dpor) { aid_t issuer_id = state->get_transition()->aid_; -- 2.20.1