process->kill_timer = SIMIX_timer_set(kill_time, [=]() {
simix_global->kill_process_function(process);
});
}
/* Tracing the process creation */
process->kill_timer = SIMIX_timer_set(kill_time, [=]() {
simix_global->kill_process_function(process);
});
}
/* Tracing the process creation */