X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f01650f24121782b62c9ddca5bacb4e5867a8230..59054b2bcebd6cdc83ca72089f320f244e3b9b4f:/src/mc/api/strategy/BasicStrategy.hpp diff --git a/src/mc/api/strategy/BasicStrategy.hpp b/src/mc/api/strategy/BasicStrategy.hpp index de0fe65d9b..3d7d01bbd6 100644 --- a/src/mc/api/strategy/BasicStrategy.hpp +++ b/src/mc/api/strategy/BasicStrategy.hpp @@ -40,11 +40,10 @@ public: ~BasicStrategy() override = default; std::pair best_transition(bool must_be_todo) const override { - for (auto const& [aid, actor] : actors_to_run_) { - /* Only consider actors (1) marked as interleaving by the checker and (2) currently enabled in the application */ - if ((not actor.is_todo() && must_be_todo) || not actor.is_enabled() || actor.is_done()) { + for (auto const& [aid, actor] : actors_to_run_) { + /* Only consider actors (1) marked as interleaving by the checker and (2) currently enabled in the application */ + if ((not actor.is_todo() && must_be_todo) || not actor.is_enabled() || actor.is_done()) continue; - } return std::make_pair(aid, depth_); }