exit on timeout

This commit is contained in:
Andrea Fioraldi 2021-02-11 16:38:12 +01:00
parent 5859e5fc3d
commit bf8279a2ab

View File

@ -273,9 +273,8 @@ pub mod unix_signals {
) )
.expect(&format!("Could not send crashing input {:?}", input)); .expect(&format!("Could not send crashing input {:?}", input));
mgr.await_restart_safe(); //mgr.await_restart_safe();
std::process::exit(139);
} }
pub unsafe extern "C" fn libaflrs_executor_inmem_handle_timeout<C, EM, FT, I, OT, R>( pub unsafe extern "C" fn libaflrs_executor_inmem_handle_timeout<C, EM, FT, I, OT, R>(
@ -314,7 +313,7 @@ pub mod unix_signals {
mgr.await_restart_safe(); mgr.await_restart_safe();
//process::abort(); std::process::exit(1);
} }
#[inline] #[inline]