Decision #1333 — `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 37	c6 br 38	c7 br 39	c8 br 40	c9 br 46	c10 br 47	c11 br 48	c12 br 49	outcome

Independent-effect pairs

All 13 conditions live in scry_mcdc::drive — 3 br_table_default + 10 br_table_target

c0 (branch 16): PROVED
c1 (branch 17): DEAD view gap →
c2 (branch 18): DEAD view gap →
c3 (branch 19): DEAD view gap →
c4 (branch 20): DEAD view gap →
c5 (branch 37): PROVED
c6 (branch 38): PROVED
c7 (branch 39): PROVED
c8 (branch 40): DEAD view gap →
c9 (branch 46): PROVED
c10 (branch 47): PROVED
c11 (branch 48): PROVED
c12 (branch 49): DEAD view gap →

← back to scry-mcdc