Decision #80 — library/core/src/slice/cmp.rs:442
Status: no_witness
Truth table
| row | c0 br 558 | c1 br 560 | c2 br 561 | c3 br 562 | c4 br 563 | c5 br 564 | outcome |
|---|---|---|---|---|---|---|---|
| 9487 | F | T | * | * | * | * | T |
| 9488 | F | T | * | * | * | * | T |
| 10635 | F | T | * | * | * | * | T |
| 10636 | F | T | * | * | * | * | T |
| 11726 | F | T | * | * | * | * | T |
| 11727 | F | T | * | * | * | * | T |
| 40299 | F | F | F | T | F | F | T |
| 40300 | F | F | F | T | F | F | T |
| 43267 | F | F | F | T | F | F | T |
| 43268 | F | F | F | T | F | F | T |
| 46720 | F | F | F | T | F | F | T |
| 46721 | F | F | F | T | F | F | T |
| 49839 | F | F | F | T | F | F | T |
| 49840 | F | F | F | T | F | F | T |
| 72405 | F | T | * | * | * | * | T |
| 72406 | F | T | * | * | * | * | T |
| 72407 | F | T | * | * | * | * | T |
| 72408 | F | T | * | * | * | * | T |
| 72409 | F | T | * | * | * | * | T |
| 72410 | F | T | * | * | * | * | T |
| 75880 | F | T | * | * | * | * | T |
| 75881 | F | T | * | * | * | * | T |
| 75882 | F | T | * | * | * | * | T |
| 75883 | F | T | * | * | * | * | T |
| 75884 | F | T | * | * | * | * | T |
| 75885 | F | T | * | * | * | * | T |
| 80711 | F | T | * | * | * | * | T |
| 81898 | F | T | * | * | * | * | T |
| 82960 | F | T | * | * | * | * | T |
| 129953 | F | F | F | T | F | F | T |
| 131112 | F | F | F | T | F | F | T |
| 132439 | F | F | F | T | F | F | T |
Independent-effect pairs
c0(branch558): GAP view gap →scry_bits::BitsCong::reduce· br_if
inlined: lib.rs:3434 ← library/core/src/slice/mod.rs:2593c1(branch560): GAP view gap →scry_bits::BitsCong::reduce· br_ifc2(branch561): GAP view gap →scry_bits::BitsCong::reduce· br_ifc3(branch562): GAP view gap →scry_bits::BitsCong::reduce· br_ifc4(branch563): GAP view gap →scry_bits::BitsCong::reduce· br_ifc5(branch564): GAP view gap →scry_bits::BitsCong::reduce· br_if