From 27a9aa0b573913afcce5c1a39aababe43b96953b Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Fri, 4 Dec 2020 17:48:13 +0100 Subject: [PATCH] mcapi.get_actors() is called in LivenessChecker::create_pair() --- src/mc/checker/LivenessChecker.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp index 274b52032c..b14a94de6d 100644 --- a/src/mc/checker/LivenessChecker.cpp +++ b/src/mc/checker/LivenessChecker.cpp @@ -270,8 +270,9 @@ std::shared_ptr LivenessChecker::create_pair(const Pair* current_pair, xbt else next_pair->depth = 1; /* Get enabled actors and insert them in the interleave set of the next graph_state */ - for (auto& actor : mc_model_checker->get_remote_simulation().actors()) if (mc::actor_is_enabled(actor.copy.get_buffer())) + auto actors = mcapi::get().get_actors(); + for (auto& actor : actors) next_pair->graph_state->add_interleaving_set(actor.copy.get_buffer()); next_pair->requests = next_pair->graph_state->interleave_size(); /* FIXME : get search_cycle value for each accepting state */ -- 2.20.1