Decision #933 — macros.rs:481
Status: no_witness
Truth table
| row | c0 br 6381 | c1 br 6382 | outcome |
|---|---|---|---|
| 10537 | F | F | T |
| 10538 | F | F | T |
| 11628 | F | F | T |
| 11629 | F | F | T |
| 12776 | F | F | T |
| 12777 | F | F | T |
| 42992 | F | F | T |
| 46444 | F | F | T |
| 49566 | F | F | T |
| 52532 | F | F | T |
| 75548 | F | F | T |
| 75549 | F | F | T |
| 75550 | F | F | T |
| 75551 | F | F | T |
| 79023 | F | F | T |
| 79024 | F | F | T |
| 79025 | F | F | T |
| 79026 | F | F | T |
| 81809 | F | F | T |
| 82871 | F | F | T |
| 84058 | F | F | T |
| 130995 | F | F | T |
| 132322 | F | F | T |
| 133536 | F | F | T |
Independent-effect pairs
c0(branch6381): GAP view gap →__lshrti3· br_ifc1(branch6382): GAP view gap →__lshrti3· br_if