From: Ehsan Azimi <eazimi@ehsan.irisa.fr>
Date: Tue, 8 Dec 2020 09:37:12 +0000 (+0100)
Subject: mc_api::automaton_state_compare() defined. It's called in insert_acceptance_pair()
X-Git-Tag: v3.26~13^2~33
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/019d437a5c88ff26b1975e5eb6ebb34a1adad28d

mc_api::automaton_state_compare() defined. It's called in insert_acceptance_pair()
---

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 98e3c78c76..b10108c5e0 100644
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -85,7 +85,7 @@ std::shared_ptr<VisitedPair> LivenessChecker::insert_acceptance_pair(simgrid::mc
 
   if (pair->search_cycle) for (auto i = res.first; i != res.second; ++i) {
     std::shared_ptr<simgrid::mc::VisitedPair> const& pair_test = *i;
-    if (xbt_automaton_state_compare(pair_test->automaton_state, new_pair->automaton_state) != 0 ||
+    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()))
       continue;
diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp
index aeb7a313df..1d26691923 100644
--- a/src/mc/mc_api.hpp
+++ b/src/mc/mc_api.hpp
@@ -126,6 +126,9 @@ public:
   inline DerefAndCompareByActorsCountAndUsedHeap compare_pair() const {
     return DerefAndCompareByActorsCountAndUsedHeap();
   }
+  inline int automaton_state_compare(const_xbt_automaton_state_t const& s1, const_xbt_automaton_state_t const& s2) const {
+    return xbt_automaton_state_compare(s1, s2);
+  }
 };
 
 } // namespace mc