int smpi_replay_finalize(){ double sim_time= 1.; /* One active process will stop. Decrease the counter*/ active_processes--; if(!active_processes){ /* Last process alive speaking */ /* end the simulated timer */ sim_time = smpi_process_simulated_elapsed(); XBT_INFO("Simulation time %g", sim_time); _xbt_replay_action_exit(); } return PMPI_Finalize(); }
void MSG_action_exit() { _xbt_replay_action_exit(); }