[−][src]Function boolector_sys::boolector_get_failed_assumptions
pub unsafe extern "C" fn boolector_get_failed_assumptions(
btor: *mut Btor
) -> *mut *mut BoolectorNode
pub unsafe extern "C" fn boolector_get_failed_assumptions(
btor: *mut Btor
) -> *mut *mut BoolectorNode