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.
• ReadyFirstTraversal 🔒
  Iterator that visits nodes in the coverage graph, in an order that always prefers “ready” nodes whose predecessors have already been visited.

Enums

• ReadyState 🔒
  State of a node in the coverage graph during ready-first traversal.

Constants

• START_BCB 🔒

Functions

• bcb_filtered_successors 🔒