Module mappings 

Structs

BranchPair 🔒

CodeMapping 🔒

Associates an ordinary executable code span with its corresponding BCB.

ExtractedMappings 🔒

Functions

extract_all_mapping_info_from_mir 🔒

Extracts coverage-relevant spans from MIR, and associates them with their corresponding BCBs.

extract_branch_pairs 🔒

resolve_block_markers 🔒