Use boost::range algorithms

diff --git a/src/mc/LivenessChecker.cpp b/src/mc/LivenessChecker.cpp
index e8eba86..4f60bc1 100644 (file)
--- a/src/mc/LivenessChecker.cpp
+++ b/src/mc/LivenessChecker.cpp
@@ -125,7 +125,7 @@ std::shared_ptr<VisitedPair> LivenessChecker::insertAcceptancePair(simgrid::mc::
     pair->num, pair->automaton_state, pair->atomic_propositions,
     pair->graph_state);
 
-  auto res = boost::range::equal_range(acceptancePairs,
+  auto res = boost::range::equal_range(acceptancePairs_,
     new_pair.get(), simgrid::mc::DerefAndCompareByNbProcessesAndUsedHeap());
 
   if (pair->search_cycle) for (auto i = res.first; i != res.second; ++i) {

diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp
index 8975d96..a919c30 100644 (file)
--- a/src/mc/mc_state.cpp
+++ b/src/mc/mc_state.cpp
@@ -57,7 +57,7 @@ State::State()
 std::size_t State::interleaveSize() const
 {
   return boost::range::count_if(this->processStates,
-    simgrid::mc::ProcessState::isToInterleave),
+    [](simgrid::mc::ProcessState const& p) { return p.isToInterleave(); });
 }
 
 Transition State::getTransition() const