Decision #935 — lib.rs:232
Status: partial
Truth table
| row | c0 br 42 | c1 br 43 | c2 br 44 | c3 br 45 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in scry_mcdc::drive — 1 br_table_default + 3 br_table_target
c0(branch42): PROVEDc1(branch43): DEAD view gap →c2(branch44): PROVEDc3(branch45): DEAD view gap →