Constant boolector_sys::BTOR_OPT_RW_ZERO_LOWER_SLICE

source · 
pub const BTOR_OPT_RW_ZERO_LOWER_SLICE: BtorOption = 92;