From: mlaurent <mathieu.laurent@ens-rennes.fr>
Date: Mon, 20 Feb 2023 09:41:27 +0000 (+0100)
Subject: Merge branch 'master' of https://framagit.org/simgrid/simgrid
X-Git-Tag: v3.34~436^2~5
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8c6bbb14f44b8daed5ea43d80880c6bf2155118b

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

8c6bbb14f44b8daed5ea43d80880c6bf2155118b
diff --cc src/mc/api/State.cpp
index 36535b1f38,dfb48f399a..98c229f7ad
--- a/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