Constant boolector_sys::BTOR_OPT_VERBOSITY

source · 
pub const BTOR_OPT_VERBOSITY: BtorOption = 12;