- for (auto& actor : mc_model_checker->process().actors())
- if (simgrid::mc::actor_is_enabled(actor.copy.get_buffer())) {
- initial_state->add_interleaving_set(actor.copy.get_buffer());
- if (reductionMode_ != simgrid::mc::ReductionMode::none)
+ auto actors = api::get().get_actors();
+ XBT_DEBUG("Initial state. %zu actors to consider", actors.size());
+ for (auto& actor : actors)
+ if (get_session().actor_is_enabled(actor.copy.get_buffer()->get_pid())) {
+ initial_state->mark_todo(actor.copy.get_buffer());
+ if (reductionMode_ == ReductionMode::dpor) {
+ XBT_DEBUG("Actor %ld is TODO, DPOR is ON so let's go for this one.", actor.copy.get_buffer()->get_pid());