Constant boolector_sys::BTOR_OPT_LOGLEVEL

source · 
pub const BTOR_OPT_LOGLEVEL: BtorOption = 13;