Decision #924 — `num.rs:205`

Status: unreached

Truth table

row	c0 br 6319	c1 br 6320	c2 br 6321	c3 br 6322	outcome

Independent-effect pairs

c0 (branch 6319): DEAD view gap →
<core::fmt::Formatter>::pad · br_if
inlined: num.rs:185
c1 (branch 6320): DEAD view gap →
<core::fmt::Formatter>::pad · br_if
inlined: num.rs:185
c2 (branch 6321): DEAD view gap →
<core::fmt::Formatter>::pad · br_if
c3 (branch 6322): DEAD view gap →
<core::fmt::Formatter>::pad · br_if

← back to scry-mcdc