Module from_mir

Source

StructsΒ§

Hole πŸ”’
RawSpanFromMir πŸ”’
SpanFromMir πŸ”’

FunctionsΒ§

extract_raw_spans_from_mir πŸ”’
Generates an initial set of coverage spans from the statements and terminators in the function’s MIR body, each associated with its corresponding node in the coverage graph.
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.