From 7bfda85f856a9478629bd558c04cf43493398369 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Fri, 11 Dec 2020 12:03:53 +0100 Subject: [PATCH] mcapi::execute() in replay() --- src/mc/checker/LivenessChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp index 3484b8df4a..d09e87d1b8 100644 --- a/src/mc/checker/LivenessChecker.cpp +++ b/src/mc/checker/LivenessChecker.cpp @@ -145,7 +145,7 @@ void LivenessChecker::replay() XBT_DEBUG("Replay (depth = %d) : %s (%p)", depth, mcapi::get().request_to_string(req, req_num, simgrid::mc::RequestType::simix).c_str(), state.get()); - this->get_session().execute(state->transition_); + mcapi::get().execute(state->transition_); } /* Update statistics */ -- 2.20.1