-static void TRACE_actor_kill(smx_process_exit_status_t status, msg_process_t process)
-{
- if (status == SMX_EXIT_FAILURE)
- // kill means that this actor no longer exists, let's destroy it
- simgrid::instr::Container::by_name(instr_pid(process))->remove_from_parent();
-}
-