Decision #1196 — `malloc.c:4545`

Status: unreached

Truth table

row	c0 br 8198	c1 br 8199	c2 br 8200	c3 br 8201	c4 br 8202	c5 br 8203	c6 br 8204	c7 br 8205	c8 br 8206	c9 br 8207	c10 br 8208	c11 br 8209	c12 br 8210	c13 br 8211	c14 br 8212	c15 br 8213	c16 br 8214	outcome

Independent-effect pairs

All 17 conditions live in dlmalloc — 17 br_if

c0 (branch 8198): DEAD view gap →
c1 (branch 8199): DEAD view gap →
c2 (branch 8200): DEAD view gap →
c3 (branch 8201): DEAD view gap →
c4 (branch 8202): DEAD view gap →
c5 (branch 8203): DEAD view gap →
c6 (branch 8204): DEAD view gap →
c7 (branch 8205): DEAD view gap →
c8 (branch 8206): DEAD view gap →
c9 (branch 8207): DEAD view gap →
c10 (branch 8208): DEAD view gap →
c11 (branch 8209): DEAD view gap →
c12 (branch 8210): DEAD view gap →
c13 (branch 8211): DEAD view gap →
c14 (branch 8212): DEAD view gap →
c15 (branch 8213): DEAD view gap →
c16 (branch 8214): DEAD view gap →

← back to scry-mcdc