- std::vector<ActorInformation>& actors = mc_model_checker->get_remote_process().actors();
- XBT_DEBUG("Search for an actor to run. %zu actors to consider", actors.size());
- for (unsigned int i = 0; i < actors.size(); i++) {
- /* Only consider actors (1) marked as interleaving by the checker and (2) currently enabled in the application*/
- if (aid_t aid = actors[i].copy.get_buffer()->get_pid();
- not actor_states_[aid].is_todo() || not Api::get().get_session().actor_is_enabled(aid))
+ XBT_DEBUG("Search for an actor to run. %zu actors to consider", actors_to_run_.size());
+ 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() || not actor.is_enabled())