Module from_mir

Source

Structsยง

ExtractedCovspans ๐Ÿ”’
Hole ๐Ÿ”’
SpanFromMir ๐Ÿ”’

Functionsยง

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.