Decision #1423 — malloc.c:4249
Status: no_witness
Truth table
| row | c0 br 9417 | c1 br 9418 | c2 br 9419 | outcome |
|---|---|---|---|---|
| 4301 | * | F | F | T |
| 11238 | * | F | F | T |
| 18174 | * | F | F | T |
| 43488 | F | F | T | T |
| 43489 | F | F | T | T |
| 43490 | * | F | F | T |
| 64322 | F | F | T | T |
| 64323 | F | F | T | T |
| 64324 | * | F | F | T |
| 77546 | * | F | F | T |
| 87429 | * | F | F | T |
| 103444 | * | F | F | T |
| 135223 | * | F | T | T |
| 135224 | * | F | F | T |
| 151942 | * | F | T | T |
| 151943 | * | F | F | T |
| 162408 | F | F | F | T |
| 172266 | F | F | F | T |
| 178444 | * | F | F | T |
| 182573 | F | F | T | T |
| 185808 | F | F | T | T |
| 189000 | F | F | T | T |
| 200233 | * | F | F | T |
| 200234 | * | F | F | T |
| 200235 | * | F | F | T |
| 200236 | * | F | T | T |
| 211349 | * | F | F | T |
| 218709 | * | F | F | T |
| 271419 | F | F | T | T |
| 271420 | * | F | T | T |
| 271421 | * | F | F | T |
| 348796 | F | F | T | T |
| 348797 | * | F | T | T |
| 348798 | * | F | F | T |
Independent-effect pairs
All 3 conditions live in dlmalloc — 3 br_if
c0(branch9417): GAP view gap →c1(branch9418): GAP view gap →c2(branch9419): GAP view gap →