Function rustsat_kissat::panic_intead_of_abort
source · pub fn panic_intead_of_abort()
Expand description
Changes Kissat’s abort behaviour to cause a Rust panic instead
pub fn panic_intead_of_abort()
Changes Kissat’s abort behaviour to cause a Rust panic instead