Decision #1529 — `cmp.rs:1916`

Status: unreached

Truth table

row	c0 br 10023	c1 br 10027	outcome

Independent-effect pairs

c0 (branch 10023): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: mod.rs:1938 ← range.rs:900
c1 (branch 10027): DEAD view gap →
core::str::count::do_count_chars · br_if
inlined: mod.rs:1940 ← mod.rs:1756 ← range.rs:985 ← range.rs:900

← back to scry-mcdc