- simcall_comm_test__set__comm(&state->internal_req, &state->internal_comm);
- simcall_comm_test__set__result(&state->internal_req, *value);
- break;
-
- case SIMCALL_COMM_WAIT:
- state->internal_req = *req;
- mc_model_checker->process().read_bytes(&state->internal_comm ,
- sizeof(state->internal_comm), remote(simcall_comm_wait__get__comm(req)));
- simcall_comm_wait__set__comm(&state->executed_req, &state->internal_comm);
- simcall_comm_wait__set__comm(&state->internal_req, &state->internal_comm);
- break;
-
- case SIMCALL_COMM_TEST:
- state->internal_req = *req;
- mc_model_checker->process().read_bytes(&state->internal_comm,
- sizeof(state->internal_comm), remote(simcall_comm_test__get__comm(req)));
- simcall_comm_test__set__comm(&state->executed_req, &state->internal_comm);
- simcall_comm_test__set__comm(&state->internal_req, &state->internal_comm);
- break;
-
- case SIMCALL_MC_RANDOM: {
- state->internal_req = *req;
- int random_max = simcall_mc_random__get__max(req);
- if (*value != random_max)
- for (auto& p : mc_model_checker->process().simix_processes()) {
- simgrid::mc::ProcessState* procstate = &state->processStates[p.copy.pid];
- const smx_process_t issuer = MC_smx_simcall_get_issuer(req);
- if (p.copy.pid == issuer->pid) {
- procstate->state = simgrid::mc::ProcessInterleaveState::more_interleave;
- break;
- }
- }
- break;