Decision #1418 — malloc.c:4177
Status: no_witness
Truth table
| row | c0 br 9390 | c1 br 9391 | outcome |
|---|---|---|---|
| 3647 | F | F | F |
Independent-effect pairs
c0(branch9390): GAP view gap →dlmalloc· br_ifc1(branch9391): GAP view gap →dlmalloc· br_if