Constant boolector_sys::BTOR_OUTPUT_BASE_BIN

source · 
pub const BTOR_OUTPUT_BASE_BIN: BtorOptOutputBase = 1;