Decision #314 — library/core/src/slice/mod.rs:4331
Status: partial
Truth table
| row | c0 br 1698 | c1 br 1703 | outcome |
|---|---|---|---|
| 21215 | T | * | T |
| 21216 | T | * | T |
| 23958 | T | * | T |
| 23959 | T | * | T |
| 26601 | T | * | T |
| 26602 | T | * | T |
| 90794 | F | F | F |
| 90795 | F | F | F |
| 98568 | F | F | F |
| 98569 | F | F | F |
| 107062 | F | F | F |
| 107063 | F | F | F |
| 115138 | F | F | F |
| 115139 | F | F | F |
| 156415 | T | * | T |
| 156416 | T | * | T |
| 156417 | T | * | T |
| 156418 | T | * | T |
| 156419 | T | * | T |
| 156420 | T | * | T |
| 166273 | T | * | T |
| 166274 | T | * | T |
| 166275 | T | * | T |
| 166276 | T | * | T |
| 166277 | T | * | T |
| 166278 | T | * | T |
| 180770 | T | * | T |
| 184090 | T | * | T |
| 187197 | T | * | T |
| 376728 | F | F | F |
| 379365 | F | F | F |
| 382249 | F | F | F |
Independent-effect pairs
c0(branch1698): PROVED — pair rows21215,90794(masking)<scry_bits::BitsCong>::reduce· br_ifc1(branch1703): GAP view gap →<scry_bits::BitsCong>::reduce· br_if