Decision #873 — `num.rs:212`

Status: unreached

Truth table

row	c0 br 6080	c1 br 6081	outcome

Independent-effect pairs

c0 (branch 6080): DEAD view gap →
<alloc::ffi::c_str::CString>::_from_vec_unchecked · br_if
inlined: num.rs:143 ← num.rs:185
c1 (branch 6081): DEAD view gap →
<alloc::ffi::c_str::CString>::_from_vec_unchecked · br_if

← back to scry-mcdc