Decision #1567 — `num.rs:36`

Status: unreached

Truth table

row	c0 br 10184	c1 br 10185	c2 br 10186	c3 br 10187	c4 br 10188	c5 br 10190	c6 br 10191	c7 br 10193	outcome

Independent-effect pairs

All 8 conditions live in core::slice::memchr::memchr_aligned — 8 br_if

c0 (branch 10184): DEAD view gap →
c1 (branch 10185): DEAD view gap →
c2 (branch 10186): DEAD view gap →
c3 (branch 10187): DEAD view gap →
c4 (branch 10188): DEAD view gap →
c5 (branch 10190): DEAD view gap →
c6 (branch 10191): DEAD view gap →
c7 (branch 10193): DEAD view gap →

← back to scry-mcdc