From 3e8599b4a7dfd1fddb2d2292bbbafd043db883ae Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Tue, 8 Dec 2020 10:52:02 +0100 Subject: [PATCH] mcapi::automaton_state_compare() in insert_visited_pair() --- 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 eae46270bf..12b4356642 100644 --- a/src/mc/checker/LivenessChecker.cpp +++ b/src/mc/checker/LivenessChecker.cpp @@ -177,7 +177,7 @@ int LivenessChecker::insert_visited_pair(std::shared_ptr visited_pa for (auto i = range.first; i != range.second; ++i) { const VisitedPair* pair_test = i->get(); - if (xbt_automaton_state_compare(pair_test->automaton_state, visited_pair->automaton_state) != 0 || + if (mcapi::get().automaton_state_compare(pair_test->automaton_state, visited_pair->automaton_state) != 0 || *(pair_test->atomic_propositions) != *(visited_pair->atomic_propositions) || not snapshot_equal(pair_test->graph_state->system_state_.get(), visited_pair->graph_state->system_state_.get())) continue; -- 2.20.1