Decision #1581 — `lib.rs:234`

Status: partial

Truth table

row	c0 br 42	c1 br 43	c2 br 44	c3 br 45	c4 br 51	c5 br 52	c6 br 53	c7 br 54	outcome

Independent-effect pairs

All 8 conditions live in scry_mcdc::drive — 2 br_table_default + 6 br_table_target

c0 (branch 42): PROVED
c1 (branch 43): PROVED
c2 (branch 44): PROVED
c3 (branch 45): DEAD view gap →
c4 (branch 51): PROVED
c5 (branch 52): PROVED
c6 (branch 53): PROVED
c7 (branch 54): DEAD view gap →

← back to scry-mcdc