- xbt_swag_foreach(process, simix_global->process_list){
- if(process->request && !SIMIX_request_is_enabled(process->request)){
- *mc_exp_ctl = MC_DEADLOCK;
+ if(xbt_swag_size(simix_global->process_list)){
+ deadlock = TRUE;
+ xbt_swag_foreach(process, simix_global->process_list){
+ if(process->request.call != REQ_NO_REQ
+ && SIMIX_request_is_enabled(&process->request)){
+ deadlock = FALSE;
+ break;
+ }
+ }
+
+ if(deadlock){
+ MC_show_deadlock(&process->request);