- while (procstate->interleave_count <
- simcall_comm_testany__get__count(&process->simcall))
- if (simgrid::mc::request_is_enabled_by_idx(&process->simcall,
- procstate->interleave_count++)) {
- state->transition.argument = procstate->interleave_count - 1;
+ while (procstate->times_considered <
+ simcall_comm_testany__get__count(&actor->simcall))
+ if (simgrid::mc::request_is_enabled_by_idx(&actor->simcall,
+ procstate->times_considered++)) {
+ state->transition.argument = procstate->times_considered - 1;