Decision #1577 — macros.rs:481
Status: no_witness
Truth table
| row | c0 br 10250 | c1 br 10251 | outcome |
|---|---|---|---|
| 23908 | F | F | T |
| 23909 | F | F | T |
| 26551 | F | F | T |
| 26552 | F | F | T |
| 29294 | F | F | T |
| 29295 | F | F | T |
| 98412 | F | F | T |
| 106905 | F | F | T |
| 114984 | F | F | T |
| 122756 | F | F | T |
| 166049 | F | F | T |
| 166050 | F | F | T |
| 166051 | F | F | T |
| 166052 | F | F | T |
| 175907 | F | F | T |
| 175908 | F | F | T |
| 175909 | F | F | T |
| 175910 | F | F | T |
| 184044 | F | F | T |
| 187151 | F | F | T |
| 190471 | F | F | T |
| 379319 | F | F | T |
| 382202 | F | F | T |
| 384942 | F | F | T |
Independent-effect pairs
c0(branch10250): GAP view gap →__lshrti3· br_ifc1(branch10251): GAP view gap →__lshrti3· br_if