Decision #824 — malloc.c:4073
Status: no_witness
Truth table
| row | c0 br 5787 | c1 br 5788 | outcome |
|---|---|---|---|
| 1931 | F | F | F |
Independent-effect pairs
c0(branch5787): GAP view gap →dlmalloc· br_ifc1(branch5788): GAP view gap →dlmalloc· br_if
malloc.c:4073Status: no_witness
| row | c0 br 5787 | c1 br 5788 | outcome |
|---|---|---|---|
| 1931 | F | F | F |
c0 (branch 5787): GAP view gap →dlmalloc · br_ifc1 (branch 5788): GAP view gap →dlmalloc · br_if