Struct PathEnumerationConfig 

pub struct PathEnumerationConfig {
    pub max_depth: usize,
    pub max_paths: usize,
    pub revisit_cap: usize,
    pub exit_nodes: Option<AHashSet<i64>>,
    pub error_nodes: Option<AHashSet<i64>>,
}

Configuration for path enumeration.

Fields

max_depth: usize

Maximum path length (prevents stack overflow on deep CFGs).

max_paths: usize

Maximum number of paths to enumerate (prevents exponential explosion).

revisit_cap: usize

Maximum times a node can be revisited (controls loop unrolling).

exit_nodes: Option<AHashSet<i64>>

Exit nodes (Normal paths end here).

error_nodes: Option<AHashSet<i64>>

Error nodes (Error paths end here).

Trait Implementations

impl Clone for PathEnumerationConfig

fn clone(&self) -> PathEnumerationConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PathEnumerationConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PathEnumerationConfig

fn default() -> Self

Returns the “default value” for a type.