Decision #1019 — lib.rs:90
Status: no_witness
Truth table
| row | c0 br 6469 | c1 br 6470 | outcome |
|---|---|---|---|
| 75137 | F | F | F |
| 75138 | F | F | F |
| 75139 | F | F | F |
| 75140 | F | F | F |
| 85020 | F | F | F |
| 85021 | F | F | F |
| 85022 | F | F | F |
| 85023 | F | F | F |
| 252291 | F | F | F |
| 252292 | F | F | F |
| 252293 | F | F | F |
| 252294 | F | F | F |
| 252295 | F | F | F |
| 252296 | F | F | F |
| 252297 | F | F | F |
| 252298 | F | F | F |
| 329668 | F | F | F |
| 329669 | F | F | F |
| 329670 | F | F | F |
| 329671 | F | F | F |
| 329672 | F | F | F |
| 329673 | F | F | F |
| 329674 | F | F | F |
| 329675 | F | F | F |
Independent-effect pairs
c0(branch6469): GAP view gap →scry_octagon::widen· br_ifc1(branch6470): GAP view gap →scry_octagon::widen· br_if