Module scc 

Shared strongly-connected-component utilities.

This module provides the small Tarjan SCC abstraction used by RAPx analyses and by the verification path extractor. The trait is intentionally graph agnostic: clients provide successor queries and receive each discovered SCC through on_scc_found.

Structs

SccExit

An outgoing edge from an SCC body to a block outside the SCC.

SccInfo

Per-header SCC metadata used by loop-aware analyses.

Traits

Scc

Tarjan SCC callback trait.