if ((*request)->action != NULL) { // this is not a detached send
simcall_comm_wait((*request)->action, -1.0);
-
- if((MC_is_active() || MC_record_replay_is_active()) && (*request)->action)
+#ifdef HAVE_MC
+ if(MC_is_active() && (*request)->action)
(*request)->action->comm.dst_data = NULL; // dangling pointer : dst_data is freed with a wait, need to set it to NULL for system state comparison
+#endif
}
finish_wait(request, status);
}
for(c = 0; c < count; c++) {
- if (MC_is_active() || MC_record_replay_is_active()) {
+ if (MC_is_active()) {
smpi_mpi_wait(&requests[c], pstat);
index = c;
} else {
xbt_free(tmpbufs);
xbt_free(requests);
}
+