Merge branch 'master' of https://framagit.org/simgrid/simgrid

diff --cc src/mc/api/ActorState.hpp
Simple merge

diff --cc src/mc/api/State.cpp
index 36535b1,dfb48f3..98c229f
--- 1/src/mc/api/State.cpp
--- 2/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@@ -65,22 -29,9 +63,19 @@@ std::size_t State::count_todo() cons
    return boost::range::count_if(this->actors_to_run_, [](auto& pair) { return pair.second.is_todo(); });
  }
  
 +void State::mark_all_todo() 
 +{
 +    for (auto & [aid, actor] : actors_to_run_) {
 +
 +      if (actor.is_enabled() and not actor.is_done() and not actor.is_todo())
 +          actor.mark_todo();
 +      
 +    }
 +}
 +    
  Transition* State::get_transition() const
  {
-     if (transition_ == nullptr) {
-         return default_transition.get();
-     }
-     return transition_;
+   return transition_;
  }
  
  aid_t State::next_transition() const

diff --cc src/mc/api/State.hpp
Simple merge

diff --cc src/mc/mc_config.cpp
Simple merge