Constant boolector_sys::BTOR_OPT_PROP_PATH_SEL

source · 
pub const BTOR_OPT_PROP_PATH_SEL: BtorOption = 55;