Decision #408 — library/core/src/slice/index.rs:272
Status: no_witness
Truth table
| row | c0 br 2806 | c1 br 2812 | outcome |
|---|---|---|---|
| 13916 | T | F | T |
| 13917 | T | F | T |
| 21634 | T | F | T |
| 21635 | T | F | T |
| 53973 | T | F | T |
| 53974 | T | F | T |
| 53975 | T | F | T |
| 53976 | T | F | T |
| 53977 | T | F | T |
| 53978 | T | F | T |
| 53979 | T | F | T |
| 53980 | T | F | T |
| 63745 | T | F | T |
| 63746 | T | F | T |
| 63747 | T | F | T |
| 63748 | T | F | T |
| 63749 | T | F | T |
| 63750 | T | F | T |
| 63751 | T | F | T |
| 63752 | T | F | T |
| 94090 | T | F | T |
| 94091 | T | F | T |
| 112953 | T | F | T |
| 112954 | T | F | T |
Independent-effect pairs
c0(branch2806): GAP view gap →scry_octagon::assign_const· br_ifc1(branch2812): GAP view gap →scry_octagon::assign_const· br_if