Decision #828 — malloc.c:4228
Status: no_witness
Truth table
| row | c0 br 5805 | c1 br 5806 | c2 br 5807 | c3 br 5808 | outcome |
|---|---|---|---|---|---|
| 2127 | * | F | T | * | T |
| 2128 | * | F | T | * | T |
| 2129 | * | F | T | * | T |
| 5150 | * | F | T | * | T |
| 5151 | * | F | T | * | T |
| 5152 | * | F | T | * | T |
| 8184 | * | F | T | * | T |
| 8185 | * | F | T | * | T |
| 8186 | * | F | T | * | T |
| 10194 | * | F | T | * | T |
| 11335 | * | F | T | * | T |
| 12433 | * | F | T | * | T |
| 19271 | * | F | T | * | T |
| 19272 | * | F | T | * | T |
| 19273 | * | F | T | * | T |
| 26981 | * | F | T | * | T |
| 26982 | * | F | T | * | T |
| 26983 | * | F | T | * | T |
| 32649 | * | F | T | * | T |
| 38587 | * | F | T | * | T |
| 42014 | * | F | T | * | T |
| 42015 | * | F | T | * | T |
| 42016 | * | F | T | * | T |
| 45089 | * | F | T | * | T |
| 45090 | * | F | T | * | T |
| 45091 | * | F | T | * | T |
| 45092 | * | F | T | * | T |
| 48513 | * | F | T | * | T |
| 48514 | * | F | T | * | T |
| 48515 | * | F | T | * | T |
| 51554 | * | F | T | * | T |
| 51555 | * | F | T | * | T |
| 51556 | * | F | T | * | T |
| 60833 | F | * | * | * | T |
| 60834 | F | F | T | * | T |
| 60835 | * | F | T | * | T |
| 60836 | * | F | F | F | T |
| 70605 | F | * | * | * | T |
| 70606 | F | F | T | * | T |
| 70607 | * | F | T | * | T |
| 70608 | * | F | F | F | T |
| 74622 | * | F | T | * | T |
| 74623 | * | F | T | * | T |
| 74624 | * | F | T | * | T |
| 74625 | * | F | T | * | T |
| 74626 | * | F | T | * | T |
| 78097 | * | F | T | * | T |
| 78098 | * | F | T | * | T |
| 78099 | * | F | T | * | T |
| 78100 | * | F | T | * | T |
| 78101 | * | F | T | * | T |
| 81415 | * | F | T | * | T |
| 82594 | * | F | T | * | T |
| 83664 | * | F | T | * | T |
| 91690 | * | F | T | * | T |
| 108790 | * | F | T | * | T |
| 108791 | * | F | T | * | T |
| 108792 | * | F | T | * | T |
| 127653 | * | F | T | * | T |
| 127654 | * | F | T | * | T |
| 127655 | * | F | T | * | T |
Independent-effect pairs
All 4 conditions live in dlmalloc — 4 br_if
c0(branch5805): GAP view gap →c1(branch5806): GAP view gap →c2(branch5807): GAP view gap →c3(branch5808): GAP view gap →