/* Check for deadlocks */
xbt_swag_foreach(process, simix_global->process_list){
- if(process->request && !SIMIX_request_isEnabled(process->request)){
+ /* FIXME: use REQ_NO_REQ instead of NULL for comparison */
+ if(&process->request && !SIMIX_request_is_enabled(&process->request)){
*mc_exp_ctl = MC_DEADLOCK;
return;
}
MC_UNSET_RAW_MEM;
*mc_exp_ctl = MC_STOP;
return;
-}
\ No newline at end of file
+}