Constant boolector_sys::BTOR_OPT_PROP_FLIP_COND_CONST_NPATHSEL

source · 
pub const BTOR_OPT_PROP_FLIP_COND_CONST_NPATHSEL: BtorOption = 60;