Constant boolector_sys::BTOR_OPT_EXIT_CODES

source · 
pub const BTOR_OPT_EXIT_CODES: BtorOption = 10;