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 (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 30): PROVED
c6 (branch 31): DEAD view gap →
c7 (branch 32): DEAD view gap →
c8 (branch 33): DEAD view gap →
c9 (branch 34): DEAD view gap →
c10 (branch 46): PROVED
c11 (branch 47): PROVED
c12 (branch 48): PROVED
c13 (branch 49): DEAD view gap →

← back to scry-mcdc