return (act->comm.src_proc && act->comm.dst_proc);
case SIMCALL_COMM_WAITANY: {
-#ifdef HAVE_MC
xbt_dynar_t comms;
+#ifdef HAVE_MC
+
s_xbt_dynar_t comms_buffer;
- size_t buffer_size;
+ size_t buffer_size = 0;
if (mc_mode == MC_MODE_SERVER) {
// Read dynar:
MC_process_read_simple(&mc_model_checker->process(),
if (mc_mode == MC_MODE_SERVER)
MC_process_read_simple(&mc_model_checker->process(),
buffer, comms->data, sizeof(buffer));
+#else
+ comms = simcall_comm_waitany__get__comms(req);
#endif
for (index = 0; index < comms->used; ++index) {