Decision #920 — `num.rs:220`

Status: unreached

Truth table

row	c0 br 6303	c1 br 6304	outcome

Independent-effect pairs

c0 (branch 6303): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: num.rs:143 ← num.rs:185
c1 (branch 6304): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: num.rs:143 ← num.rs:185

← back to scry-mcdc