Decision #1416 — malloc.c:4127

Status: unreached

Truth table

rowc0 br 9383c1 br 9384c2 br 9385outcome

Independent-effect pairs

All 3 conditions live in strncmp — 3 br_if