Function rustsat_kissat::call_instead_of_abort
source · pub fn call_instead_of_abort(abort: Option<extern "C" fn()>)
Expand description
Changes Kissat’s abort behaviour to call the given function instead
pub fn call_instead_of_abort(abort: Option<extern "C" fn()>)
Changes Kissat’s abort behaviour to call the given function instead