Module from_mir

Help

Structs§

bcb_to_initial_coverage_spans 🔒
extract_covspans_from_mir 🔒: 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.
filtered_statement_span 🔒: If the MIR Statement has a span contributive to computing coverage spans, return it; otherwise return None.
filtered_terminator_span 🔒: If the MIR Terminator has a span contributive to computing coverage spans, return it; otherwise return None.