Module mappings

Structs

• BranchPair 🔒
  This is separate from MCDCBranch to help prepare for larger changes that will be needed for improved branch coverage in the future. (See https://github.com/rust-lang/rust/pull/124217.)
• CodeMapping 🔒
  Associates an ordinary executable code span with its corresponding BCB.
• ExtractedMappings 🔒
• MCDCBranch 🔒
  Associates an MC/DC branch span with condition info besides fields for normal branch.
• MCDCDecision 🔒
  Associates an MC/DC decision with its join BCBs.

Constants

• MCDC_MAX_BITMAP_SIZE 🔒

Functions

• calc_test_vectors_index 🔒
• extract_all_mapping_info_from_mir 🔒
  Extracts coverage-relevant spans from MIR, and associates them with their corresponding BCBs.
• extract_branch_pairs 🔒
• extract_mcdc_mappings 🔒
• resolve_block_markers 🔒