Decision #1431 — malloc.c:4779
Status: no_witness
Truth table
| row | c0 br 9496 | c1 br 9497 | c2 br 9498 | c3 br 9499 | outcome |
|---|---|---|---|---|---|
| 4479 | T | T | * | F | F |
| 4480 | F | * | * | * | F |
| 11405 | T | T | * | F | F |
| 18360 | T | T | * | F | F |
| 18361 | F | * | * | * | F |
| 44179 | T | T | * | F | F |
| 65008 | T | T | * | F | F |
| 77811 | T | T | * | F | F |
| 87694 | T | T | * | F | F |
| 95663 | F | * | * | * | F |
| 103735 | F | * | * | * | F |
| 103736 | T | F | F | * | F |
| 112165 | F | * | * | * | F |
| 112166 | F | * | * | * | F |
| 120007 | F | * | * | * | F |
| 162650 | T | T | * | F | F |
| 162651 | F | * | * | * | F |
| 162652 | F | * | * | * | F |
| 162653 | T | F | F | * | F |
| 172508 | T | T | * | F | F |
| 172509 | F | * | * | * | F |
| 172510 | F | * | * | * | F |
| 172511 | T | F | F | * | F |
| 178628 | T | F | F | * | F |
| 182695 | F | * | * | * | F |
| 185902 | F | * | * | * | F |
| 189122 | F | * | * | * | F |
| 200447 | T | T | * | F | F |
| 200448 | T | T | * | F | F |
| 200449 | T | F | F | * | F |
| 211558 | T | T | * | F | F |
| 211559 | F | * | * | * | F |
| 218940 | T | F | F | * | F |
| 274391 | T | F | F | * | F |
| 351768 | T | F | F | * | F |
Independent-effect pairs
All 4 conditions live in dlmalloc — 4 br_if
c0(branch9496): GAP view gap →c1(branch9497): GAP view gap →c2(branch9498): GAP view gap →c3(branch9499): GAP view gap →