smx_action_t act;*/
int nbprocess = xbt_swag_size(simix_global->process_list);
INFO1("%d processes are still running, waiting for something.", nbprocess);
/* List the process and their state */
smx_action_t act;*/
int nbprocess = xbt_swag_size(simix_global->process_list);
INFO1("%d processes are still running, waiting for something.", nbprocess);
/* List the process and their state */