- case SIMCALL_COMM_TESTANY: {
- read_element(
- mc_model_checker->process(), &remote_act,
- remote(simcall_comm_testany__get__comms(req)),
- idx, sizeof(remote_act));
- }
+ case SIMCALL_COMM_TESTANY:
+ remote_act = mc_model_checker->process().read(remote(
+ simcall_comm_testany__get__comms(req) + idx));