Constant boolector_sys::BTOR_OPT_AUTO_CLEANUP

source · 
pub const BTOR_OPT_AUTO_CLEANUP: BtorOption = 8;