+ // Check deadlock:
+ bool deadlock = false;
+ smx_process_t process;
+ if (xbt_swag_size(simix_global->process_list)) {
+ deadlock = true;
+ xbt_swag_foreach(process, simix_global->process_list)
+ if (simgrid::mc::process_is_enabled(process)) {
+ deadlock = false;
+ break;
+ }
+ }
+
+ // Send result: