Constant boolector_sys::BTOR_OUTPUT_FORMAT_NONE

source · 
pub const BTOR_OUTPUT_FORMAT_NONE: BtorOptOutputFormat = 0;