- return (act->comm.src_proc && act->comm.dst_proc);
-
- case SIMCALL_COMM_WAITANY: {
-#ifdef HAVE_MC
- // Read dynar:
- s_xbt_dynar_t comms;
- MC_process_read_simple(&mc_model_checker->process,
- &comms, simcall_comm_waitany__get__comms(req), sizeof(comms));
- // Read dynar buffer:
- assert(comms.elmsize == sizeof(act));
- size_t buffer_size = comms.elmsize * comms.used;
- char buffer[buffer_size];
- MC_process_read_simple(&mc_model_checker->process,
- buffer, comms.data, sizeof(buffer));
-#endif