Constant boolector_sys::BTOR_OPT_NONDESTR_SUBST

source · 
pub const BTOR_OPT_NONDESTR_SUBST: BtorOption = 93;