Decision #753 — lib.rs:312
Status: no_witness
Truth table
| row | c0 br 5090 | c1 br 5091 | outcome |
|---|---|---|---|
| 17317 | F | F | F |
| 17318 | F | F | F |
| 26795 | F | F | F |
| 26796 | F | F | F |
| 66111 | F | F | F |
| 66112 | F | F | F |
| 66113 | F | F | F |
| 66114 | F | F | F |
| 66115 | F | F | F |
| 66116 | F | F | F |
| 66117 | F | F | F |
| 66118 | F | F | F |
| 77624 | F | F | F |
| 77625 | F | F | F |
| 77626 | F | F | F |
| 77627 | F | F | F |
| 77628 | F | F | F |
| 77629 | F | F | F |
| 77630 | F | F | F |
| 77631 | F | F | F |
| 119991 | F | F | F |
| 119992 | F | F | F |
| 142927 | F | F | F |
| 142928 | F | F | F |
Independent-effect pairs
c0(branch5090): GAP view gap →scry_octagon::assign_const· br_ifc1(branch5091): GAP view gap →scry_octagon::assign_const· br_if