Decision #475 — `lib.rs:6305`

Status: unreached

Truth table

row	c0 br 3293	c1 br 3294	c2 br 3295	c3 br 3296	c4 br 3297	c5 br 3298	c6 br 3299	outcome

Independent-effect pairs

All 7 conditions live in scry_analyze_core::build_static_call_graph — 7 br_if

c0 (branch 3293): DEAD view gap →
c1 (branch 3294): DEAD view gap →
c2 (branch 3295): DEAD view gap →
c3 (branch 3296): DEAD view gap →
c4 (branch 3297): DEAD view gap →
c5 (branch 3298): DEAD view gap →
c6 (branch 3299): DEAD view gap →

← back to scry-mcdc