Decision #1530 — `mod.rs:1934`

Status: unreached

Truth table

row	c0 br 10021	c1 br 10022	c2 br 10025	outcome

Independent-effect pairs

All 3 conditions live in core::str::count::do_count_chars — 3 br_if

c0 (branch 10021): DEAD view gap →
c1 (branch 10022): DEAD view gap →
c2 (branch 10025): DEAD view gap →

← back to scry-mcdc