[−][src]Constant boolector_sys::BtorOption_BTOR_OPT_PROP_FLIP_COND_CONST_NPATHSEL
pub const BtorOption_BTOR_OPT_PROP_FLIP_COND_CONST_NPATHSEL: BtorOption
pub const BtorOption_BTOR_OPT_PROP_FLIP_COND_CONST_NPATHSEL: BtorOption