Decision #1311 — `num.rs:41`

Status: unreached

Truth table

row	c0 br 8867	c1 br 8869	c2 br 8870	c3 br 8871	c4 br 8872	outcome

Independent-effect pairs

All 5 conditions live in core::str::slice_error_fail_rt — 5 br_if

c0 (branch 8867): DEAD view gap →
c1 (branch 8869): DEAD view gap →
c2 (branch 8870): DEAD view gap →
c3 (branch 8871): DEAD view gap →
c4 (branch 8872): DEAD view gap →

← back to scry-mcdc