Structsยง
- Extracted
Covspans ๐ - Hole ๐
- Span
From ๐Mir
Functionsยง
- Traverses the MIR body to produce an initial collection of coverage-relevant spans, each associated with a node in the coverage graph (BCB) and possibly other metadata.
- If the MIR
Statementhas a span contributive to computing coverage spans, return it; otherwise returnNone. - If the MIR
Terminatorhas a span contributive to computing coverage spans, return it; otherwise returnNone.