else
next_pair->depth = 1;
/* Get enabled actors and insert them in the interleave set of the next graph_state */
- if (mc::actor_is_enabled(actor.copy.get_buffer()))
auto actors = mcapi::get().get_actors();
for (auto& actor : actors)
+ if (mcapi::get().actor_is_enabled(actor.copy.get_buffer()->get_pid()))
next_pair->graph_state->add_interleaving_set(actor.copy.get_buffer());
next_pair->requests = next_pair->graph_state->interleave_size();
/* FIXME : get search_cycle value for each accepting state */