Decision #406 — lib.rs:310
Status: no_witness
Truth table
| row | c0 br 2805 | c1 br 2807 | outcome |
|---|---|---|---|
| 13912 | F | F | T |
| 13913 | F | F | T |
| 21630 | F | F | T |
| 21631 | F | F | T |
| 53957 | F | F | T |
| 53958 | F | F | T |
| 53959 | F | F | T |
| 53960 | F | F | T |
| 53961 | F | F | T |
| 53962 | F | F | T |
| 53963 | F | F | T |
| 53964 | F | F | T |
| 63729 | F | F | T |
| 63730 | F | F | T |
| 63731 | F | F | T |
| 63732 | F | F | T |
| 63733 | F | F | T |
| 63734 | F | F | T |
| 63735 | F | F | T |
| 63736 | F | F | T |
| 94086 | F | F | T |
| 94087 | F | F | T |
| 112949 | F | F | T |
| 112950 | F | F | T |
Independent-effect pairs
c0(branch2805): GAP view gap →scry_octagon::assign_const· br_ifc1(branch2807): GAP view gap →scry_octagon::assign_const· br_if