Decision #1628 — `lib.rs:8676`

Status: partial

Truth table

row	c0 br 3123	c1 br 3124	c2 br 3125	c3 br 3126	c4 br 3127	c5 br 3128	c6 br 3129	outcome

Independent-effect pairs

All 7 conditions live in scry_analyze_core::refine_octagon_rel — 1 br_table_default + 6 br_table_target

c0 (branch 3123): DEAD view gap →
c1 (branch 3124): DEAD view gap →
c2 (branch 3125): DEAD view gap →
c3 (branch 3126): DEAD view gap →
c4 (branch 3127): DEAD view gap →
c5 (branch 3128): PROVED
c6 (branch 3129): DEAD view gap →

← back to scry-mcdc