Constant boolector_sys::BTOR_PROP_PATH_SEL_RANDOM

source · 
pub const BTOR_PROP_PATH_SEL_RANDOM: BtorOptPropPathSel = 3;