Decision #1165 — `malloc.c:5250`

Status: unreached

Truth table

row	c0 br 8058	c1 br 8059	c2 br 8060	c3 br 8061	outcome

Independent-effect pairs

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

c0 (branch 8058): DEAD view gap →
c1 (branch 8059): DEAD view gap →
c2 (branch 8060): DEAD view gap →
c3 (branch 8061): DEAD view gap →

← back to scry-mcdc