+
+ if (MC_process_is_self(&mc_model_checker->process)) {
+ new_state->nb_processes = xbt_swag_size(simix_global->process_list);
+ } else {
+ MC_process_smx_refresh(&mc_model_checker->process);
+ new_state->nb_processes = xbt_dynar_length(mc_model_checker->process.smx_process_infos);
+ }
+