- case Simcall::COMM_WAITANY: {
- state->internal_req_.call_ = Simcall::COMM_WAIT;
- simgrid::kernel::activity::CommImpl* remote_comm;
- remote_comm = mc_model_checker->get_remote_simulation().read(
- remote(simcall_comm_waitany__get__comms(req) + state->transition_.times_considered_));
- mc_model_checker->get_remote_simulation().read(state->internal_comm_, remote(remote_comm));
- simcall_comm_wait__set__comm(&state->internal_req_, state->internal_comm_.get_buffer());
- simcall_comm_wait__set__timeout(&state->internal_req_, 0);
+ case Simcall::COMM_WAITANY:
+ req->call_ = Simcall::COMM_WAIT;
+ chosen_comm = mc_model_checker->get_remote_simulation().read(
+ remote(simcall_comm_waitany__get__comms(req) + req->mc_value_));
+
+ mc_model_checker->get_remote_simulation().read(internal_comm, remote(chosen_comm));
+ simcall_comm_wait__set__comm(req, internal_comm.get_buffer());
+ simcall_comm_wait__set__timeout(req, 0);