Decision #593 — `lib.rs:3673`

Status: unreached

Truth table

row	c0 br 3916	c1 br 3919	c2 br 3920	c3 br 3921	c4 br 3927	outcome

Independent-effect pairs

All 5 conditions live in <[u32]>::contains — 5 br_if

c0 (branch 3916): DEAD view gap →
c1 (branch 3919): DEAD view gap →
c2 (branch 3920): DEAD view gap →
c3 (branch 3921): DEAD view gap →
c4 (branch 3927): DEAD view gap →

← back to scry-mcdc