Decision #1526 — `mod.rs:2100`

Status: unreached

Truth table

row	c0 br 9997	c1 br 9998	c2 br 9999	outcome

Independent-effect pairs

c0 (branch 9997): DEAD view gap →
<core::fmt::Formatter>::pad_integral · br_if
inlined: mod.rs:2506 ← builders.rs:246 ← result.rs:1491 ← builders.rs:247
c1 (branch 9998): DEAD view gap →
<core::fmt::Formatter>::pad_integral · br_if
inlined: mod.rs:2526 ← builders.rs:98
c2 (branch 9999): DEAD view gap →
<core::fmt::Formatter>::pad_integral · br_if
inlined: mod.rs:2526 ← builders.rs:98

← back to scry-mcdc