Skip to main content

PATH_LIMIT

rapx::limit

Constant PATH_LIMIT 

Source 
pub(crate) const PATH_LIMIT: usize = 512;
Expand description

Maximum number of paths collected per search — both whole-CFG enumeration and per-checkpoint prefix collection. Overridable via the --path-limit CLI flag.