Expand description
Language-neutral coverage arithmetic and masking MC/DC witness search.
Frontends provide obligations and observed vectors; this module owns the structural verdicts for every language. Witness selection is deterministic in observation order while bitsets avoid a scalar pair scan for each condition.
Structs§
- Branch
Coverage - Coverage
Core Input - Coverage
Core Output - Coverage
Count - Coverage
Summary - Decision
Coverage - Mcdc
Vector - Point
Coverage - Witness
Indexes
Enums§
Functions§
- analyze_
core - find_
witnesses - Return the same first witness pair as the reference nested-order scan for every condition, using dense bitsets to reject incompatible candidates.
- find_
witnesses_ for_ conditions - Find witnesses against the manifest denominator. Unlike
find_witnesses, this retains every condition when a decision has no observations. - is_
independence_ pair