From 96bcbe74af06d929d7823d76c347b4e6aabef039 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Tue, 8 Dec 2020 10:37:36 +0100 Subject: [PATCH] mcapi::snapshot_equal() called in insert_acceptance_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 b10108c5e0..eae46270bf 100644 --- a/src/mc/checker/LivenessChecker.cpp +++ b/src/mc/checker/LivenessChecker.cpp @@ -87,7 +87,7 @@ std::shared_ptr LivenessChecker::insert_acceptance_pair(simgrid::mc std::shared_ptr const& pair_test = *i; if (mcapi::get().automaton_state_compare(pair_test->automaton_state, new_pair->automaton_state) != 0 || *(pair_test->atomic_propositions) != *(new_pair->atomic_propositions) || - not snapshot_equal(pair_test->graph_state->system_state_.get(), new_pair->graph_state->system_state_.get())) + not mcapi::get().snapshot_equal(pair_test->graph_state->system_state_.get(), new_pair->graph_state->system_state_.get())) continue; XBT_INFO("Pair %d already reached (equal to pair %d) !", new_pair->num, pair_test->num); exploration_stack_.pop_back(); -- 2.20.1