X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/50315369ab3f6921a3c6c6a266cf1d25b9c56b4d..122a5a2813fd6d64d4db8ee7f1fdb5a62b7e0d6a:/src/mc/explo/DFSExplorer.cpp?ds=sidebyside

diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp
index 2c72764301..aa7fbb023c 100644
--- a/src/mc/explo/DFSExplorer.cpp
+++ b/src/mc/explo/DFSExplorer.cpp
@@ -112,8 +112,8 @@ void DFSExplorer::log_state() // override
   on_log_state_signal(get_remote_app());
   XBT_INFO("DFS exploration ended. %ld unique states visited; %lu backtracks (%lu transition replays, %lu states "
            "visited overall)",
-           State::get_expanded_states(), backtrack_count_, visited_states_count_,
-           Transition::get_replayed_transitions());
+           State::get_expanded_states(), backtrack_count_, Transition::get_replayed_transitions(),
+	   visited_states_count_);
   Exploration::log_state();
 }
 
@@ -200,7 +200,7 @@ void DFSExplorer::run()
 
     if (_sg_mc_sleep_set && XBT_LOG_ISENABLED(mc_dfs, xbt_log_priority_verbose)) {
       XBT_VERB("Sleep set actually containing:");
-      for (auto& [aid, transition] : state->get_sleep_set())
+      for (const auto& [aid, transition] : state->get_sleep_set())
         XBT_VERB("  <%ld,%s>", aid, transition->to_string().c_str());
     }
 
@@ -372,7 +372,7 @@ std::shared_ptr<State> DFSExplorer::best_opened_state()
       continue;
     if (valid != current)
       *valid = std::move(*current);
-    if (best == end(opened_states_) || prio > best_prio) {
+    if (best == end(opened_states_) || prio < best_prio) {
       best_prio = prio;
       best      = valid;
     }
@@ -399,7 +399,7 @@ std::shared_ptr<State> DFSExplorer::next_odpor_state()
     const auto& state = *iter;
     state->do_odpor_unwind();
     XBT_DEBUG("\tPerformed ODPOR 'clean-up'. Sleep set has:");
-    for (auto& [aid, transition] : state->get_sleep_set())
+    for (const auto& [aid, transition] : state->get_sleep_set())
       XBT_DEBUG("\t  <%ld,%s>", aid, transition->to_string().c_str());
     if (!state->has_empty_tree()) {
       return state;
@@ -455,7 +455,7 @@ void DFSExplorer::backtrack()
         } else {
           XBT_DEBUG("ODPOR: Ignoring race: `sleep(E')` intersects `WI_[E'](v := notdep(%u, E))`", e);
           XBT_DEBUG("Sleep set contains:");
-          for (auto& [aid, transition] : prev_state.get_sleep_set())
+          for (const auto& [aid, transition] : prev_state.get_sleep_set())
             XBT_DEBUG("  <%ld,%s>", aid, transition->to_string().c_str());
         }
       }