Decision #755 — library/alloc/src/slice.rs:452
Status: no_witness
Truth table
| row | c0 br 5086 | c1 br 5095 | outcome |
|---|---|---|---|
| 17321 | F | F | F |
| 17322 | F | F | F |
| 26799 | F | F | F |
| 26800 | F | F | F |
| 66127 | F | F | F |
| 66128 | F | F | F |
| 66129 | F | F | F |
| 66130 | F | F | F |
| 66131 | F | F | F |
| 66132 | F | F | F |
| 66133 | F | F | F |
| 66134 | F | F | F |
| 77640 | F | F | F |
| 77641 | F | F | F |
| 77642 | F | F | F |
| 77643 | F | F | F |
| 77644 | F | F | F |
| 77645 | F | F | F |
| 77646 | F | F | F |
| 77647 | F | F | F |
| 119995 | F | F | F |
| 119996 | F | F | F |
| 142931 | F | F | F |
| 142932 | F | F | F |
Independent-effect pairs
c0(branch5086): GAP view gap →scry_octagon::assign_const· br_ifc1(branch5095): GAP view gap →scry_octagon::assign_const· br_if