Decision #807 — `strncmp.c:6`

Status: unreached

Truth table

row	c0 br 5703	c1 br 5704	c2 br 5705	c3 br 5706	c4 br 5707	outcome

Independent-effect pairs

All 5 conditions live in <std::sys::stdio::unix::Stderr as std::io::Write>::write_all — 5 br_if

c0 (branch 5703): DEAD view gap →
c1 (branch 5704): DEAD view gap →
c2 (branch 5705): DEAD view gap →
c3 (branch 5706): DEAD view gap →
c4 (branch 5707): DEAD view gap →

← back to scry-mcdc