Decision #1191 — malloc.c:4011
Status: no_witness
Truth table
| row | c0 br 8155 | c1 br 8156 | outcome |
|---|---|---|---|
| 2860 | T | T | T |
| 6622 | T | T | T |
| 10495 | T | T | T |
| 12711 | T | T | T |
| 14071 | T | T | T |
| 15412 | T | T | T |
| 23925 | T | T | T |
| 23926 | T | T | T |
| 23927 | T | T | T |
| 23928 | T | T | T |
| 23929 | T | T | T |
| 23930 | T | T | T |
| 23931 | T | T | T |
| 23932 | T | T | T |
| 23933 | T | T | T |
| 23934 | T | T | T |
| 23935 | T | T | T |
| 23936 | T | T | T |
| 23937 | T | T | T |
| 23938 | T | T | T |
| 23939 | T | T | T |
| 23940 | T | T | T |
| 23941 | T | T | T |
| 23942 | T | T | T |
| 33388 | T | T | T |
| 33389 | T | T | T |
| 33390 | T | T | T |
| 33391 | T | T | T |
| 33392 | T | T | T |
| 33393 | T | T | T |
| 33394 | T | T | T |
| 33395 | T | T | T |
| 33396 | T | T | T |
| 33397 | T | T | T |
| 33398 | T | T | T |
| 33399 | T | T | T |
| 33400 | T | T | T |
| 33401 | T | T | T |
| 33402 | T | T | T |
| 33403 | T | T | T |
| 33404 | T | T | T |
| 33405 | T | T | T |
| 39568 | T | T | T |
| 39569 | T | T | T |
| 39570 | T | T | T |
| 39571 | T | T | T |
| 39572 | T | T | T |
| 45781 | T | T | T |
| 45782 | T | T | T |
| 45783 | T | T | T |
| 45784 | T | T | T |
| 45785 | T | T | T |
| 50126 | F | * | T |
| 50127 | T | T | T |
| 54405 | F | * | T |
| 54406 | T | T | T |
| 58901 | F | * | T |
| 58902 | T | T | T |
| 63050 | F | * | T |
| 63051 | T | T | T |
| 74187 | F | * | T |
| 74188 | T | T | T |
| 74189 | T | T | T |
| 74190 | T | T | T |
| 74191 | T | T | T |
| 74192 | T | T | T |
| 74193 | T | T | T |
| 74194 | T | T | T |
| 74195 | F | * | T |
| 74196 | T | T | T |
| 74197 | F | * | T |
| 74198 | T | T | T |
| 74199 | T | T | T |
| 74200 | T | T | T |
| 74201 | T | T | T |
| 74202 | T | T | T |
| 74203 | T | T | T |
| 74204 | T | T | T |
| 74205 | T | T | T |
| 74206 | F | * | T |
| 74207 | F | * | T |
| 74208 | T | T | T |
| 74209 | T | T | T |
| 74210 | T | T | T |
| 74211 | T | T | T |
| 74212 | T | T | T |
| 85700 | F | * | T |
| 85701 | T | T | T |
| 85702 | T | T | T |
| 85703 | T | T | T |
| 85704 | T | T | T |
| 85705 | T | T | T |
| 85706 | T | T | T |
| 85707 | T | T | T |
| 85708 | F | * | T |
| 85709 | T | T | T |
| 85710 | F | * | T |
| 85711 | T | T | T |
| 85712 | T | T | T |
| 85713 | T | T | T |
| 85714 | T | T | T |
| 85715 | T | T | T |
| 85716 | T | T | T |
| 85717 | T | T | T |
| 85718 | T | T | T |
| 85719 | F | * | T |
| 85720 | F | * | T |
| 85721 | T | T | T |
| 85722 | T | T | T |
| 85723 | T | T | T |
| 85724 | T | T | T |
| 85725 | T | T | T |
| 90488 | T | T | T |
| 90489 | T | T | T |
| 94756 | T | T | T |
| 94757 | T | T | T |
| 98825 | T | T | T |
| 100324 | T | T | T |
| 101758 | T | T | T |
| 104056 | T | T | T |
| 104057 | T | T | T |
| 104058 | T | T | T |
| 107849 | T | T | T |
| 107850 | T | T | T |
| 107851 | T | T | T |
| 107852 | T | T | T |
| 107853 | T | T | T |
| 107854 | T | T | T |
| 107855 | T | T | T |
| 110147 | T | T | T |
| 110148 | T | T | T |
| 113215 | T | T | T |
| 113216 | T | T | T |
| 113217 | T | T | T |
| 113218 | T | T | T |
| 113219 | T | T | T |
| 116274 | T | T | T |
| 116275 | T | T | T |
| 116276 | T | T | T |
| 116277 | T | T | T |
| 137691 | T | T | T |
| 137692 | T | T | T |
| 137693 | T | T | T |
| 137694 | T | T | T |
| 137695 | T | T | T |
| 137696 | T | T | T |
| 137697 | T | T | T |
| 137698 | T | T | T |
| 137699 | T | T | T |
| 137700 | T | T | T |
| 137701 | T | T | T |
| 137702 | T | T | T |
| 137703 | T | T | T |
| 137704 | T | T | T |
| 137705 | T | T | T |
| 137706 | T | T | T |
| 137707 | T | T | T |
| 137708 | T | T | T |
| 137709 | T | T | T |
| 137710 | F | * | T |
| 137711 | T | T | T |
| 137712 | T | T | T |
| 137713 | T | T | T |
| 137714 | T | T | T |
| 137715 | T | T | T |
| 137716 | T | T | T |
| 137717 | T | T | T |
| 137718 | T | T | T |
| 137719 | T | T | T |
| 137720 | T | T | T |
| 137721 | T | T | T |
| 137722 | T | T | T |
| 137723 | T | T | T |
| 137724 | T | T | T |
| 137725 | T | T | T |
| 137726 | T | T | T |
| 137727 | T | T | T |
| 137728 | T | T | T |
| 137729 | T | T | T |
| 137730 | T | T | T |
| 137731 | T | T | T |
| 137732 | T | T | T |
| 137733 | T | T | T |
| 137734 | T | T | T |
| 137735 | T | T | T |
| 137736 | T | T | T |
| 160627 | T | T | T |
| 160628 | T | T | T |
| 160629 | T | T | T |
| 160630 | T | T | T |
| 160631 | T | T | T |
| 160632 | T | T | T |
| 160633 | T | T | T |
| 160634 | T | T | T |
| 160635 | T | T | T |
| 160636 | T | T | T |
| 160637 | T | T | T |
| 160638 | T | T | T |
| 160639 | T | T | T |
| 160640 | T | T | T |
| 160641 | T | T | T |
| 160642 | T | T | T |
| 160643 | T | T | T |
| 160644 | T | T | T |
| 160645 | T | T | T |
| 160646 | F | * | T |
| 160647 | T | T | T |
| 160648 | T | T | T |
| 160649 | T | T | T |
| 160650 | T | T | T |
| 160651 | T | T | T |
| 160652 | T | T | T |
| 160653 | T | T | T |
| 160654 | T | T | T |
| 160655 | T | T | T |
| 160656 | T | T | T |
| 160657 | T | T | T |
| 160658 | T | T | T |
| 160659 | T | T | T |
| 160660 | T | T | T |
| 160661 | T | T | T |
| 160662 | T | T | T |
| 160663 | T | T | T |
| 160664 | T | T | T |
| 160665 | T | T | T |
| 160666 | T | T | T |
| 160667 | T | T | T |
| 160668 | T | T | T |
| 160669 | T | T | T |
| 160670 | T | T | T |
| 160671 | T | T | T |
| 160672 | T | T | T |
| 164139 | T | T | T |
| 165756 | T | T | T |
| 167460 | T | T | T |
Independent-effect pairs
c0(branch8155): GAP view gap →dlmalloc· br_ifc1(branch8156): GAP view gap →dlmalloc· br_if