Decision #440 — lib.rs:485
Status: no_witness
Truth table
| row | c0 br 2950 | c1 br 2951 | outcome |
|---|---|---|---|
| 31537 | F | F | F |
| 31538 | F | F | F |
| 31539 | F | F | F |
| 31540 | F | F | F |
| 37475 | F | F | F |
| 37476 | F | F | F |
| 37477 | F | F | F |
| 37478 | F | F | F |
| 107116 | F | F | F |
| 107117 | F | F | F |
| 107118 | F | F | F |
| 107119 | F | F | F |
| 107120 | F | F | F |
| 107121 | F | F | F |
| 125979 | F | F | F |
| 125980 | F | F | F |
| 125981 | F | F | F |
| 125982 | F | F | F |
| 125983 | F | F | F |
| 125984 | F | F | F |
Independent-effect pairs
c0(branch2950): GAP view gap →scry_octagon::widen· br_ifc1(branch2951): GAP view gap →scry_octagon::widen· br_if