Decision #1200 — malloc.c:4767
Status: partial
Truth table
| row | c0 br 8246 | c1 br 8247 | outcome |
|---|---|---|---|
| 107988 | T | * | T |
| 107989 | F | F | F |
Independent-effect pairs
c0(branch8246): PROVED — pair rows107988,107989(masking)dlmalloc· br_ifc1(branch8247): GAP view gap →dlmalloc· br_if