Decision #1537 — `num.rs:213`

Status: unreached

Truth table

row	c0 br 10059	c1 br 10060	outcome

Independent-effect pairs

c0 (branch 10059): DEAD view gap →
<core::fmt::Formatter>::debug_struct_field3_finish · br_if
inlined: num.rs:143 ← num.rs:185
c1 (branch 10060): DEAD view gap →
<core::fmt::Formatter>::debug_struct_field3_finish · br_if
inlined: num.rs:143 ← num.rs:185

← back to scry-mcdc