Decision #936 — lib.rs:233
Status: partial
Truth table
| row | c0 br 16 | c1 br 17 | c2 br 18 | c3 br 19 | c4 br 20 | c5 br 30 | c6 br 31 | c7 br 32 | c8 br 33 | c9 br 34 | c10 br 46 | c11 br 47 | c12 br 48 | c13 br 49 | outcome |
|---|
Independent-effect pairs
All 14 conditions live in scry_mcdc::drive — 3 br_table_default + 11 br_table_target
c0(branch16): PROVEDc1(branch17): DEAD view gap →c2(branch18): DEAD view gap →c3(branch19): DEAD view gap →c4(branch20): DEAD view gap →c5(branch30): PROVEDc6(branch31): DEAD view gap →c7(branch32): DEAD view gap →c8(branch33): DEAD view gap →c9(branch34): DEAD view gap →c10(branch46): PROVEDc11(branch47): PROVEDc12(branch48): PROVEDc13(branch49): DEAD view gap →