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

diff --cc src/mc/api/State.cpp
index 3c948ea,e6a1659..2e4fa07
--- 1/src/mc/api/State.cpp
--- 2/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@@ -60,19 -31,12 +62,22 @@@ 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_;
++    if (transition_ == nullptr) {
++        return default_transition.get();
++    }
 +    return transition_;
  }
  
  aid_t State::next_transition() const

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