Module graph

Structs§

BasicCoverageBlock 🔒: A node in the control-flow graph of CoverageGraph.
BasicCoverageBlockData 🔒: BasicCoverageBlockData holds the data indexed by a BasicCoverageBlock.
CoverageGraph 🔒: A coverage-specific simplification of the MIR control flow graph (CFG). The CoverageGraphs nodes are BasicCoverageBlocks, which encompass one or more MIR BasicBlocks.
CoverageRelevantSubgraph 🔒: Wrapper around a mir::BasicBlocks graph that restricts each node’s successors to only the ones considered “relevant” when building a coverage graph.
CoverageSuccessors 🔒: Holds the coverage-relevant successors of a basic block’s terminator, and indicates whether that block can potentially be combined into the same BCB as its sole successor.