Decision #577 — library/core/src/slice/cmp.rs:426
Status: no_witness
Truth table
| row | c0 br 3961 | c1 br 3962 | c2 br 3963 | c3 br 3964 | c4 br 3965 | c5 br 3966 | c6 br 3973 | c7 br 3974 | c8 br 3975 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|
| 1327 | F | * | * | * | * | * | * | * | * | T |
| 1328 | F | T | T | * | * | * | * | * | * | T |
| 1329 | * | F | * | * | T | F | * | * | * | T |
| 1330 | * | T | T | * | * | * | * | * | * | T |
| 1331 | * | T | T | * | * | * | * | * | * | T |
| 1332 | * | F | * | * | T | F | T | * | T | T |
| 1333 | * | * | * | * | * | * | T | * | T | T |
| 1334 | * | * | * | * | * | * | T | * | T | T |
| 1335 | * | * | * | * | * | * | F | F | T | T |
| 1336 | * | * | * | * | * | * | F | F | F | T |
| 8287 | F | * | * | * | * | * | * | * | * | T |
| 8288 | F | T | T | * | * | * | * | * | * | T |
| 8289 | * | F | * | * | T | F | * | * | * | T |
| 8290 | * | T | T | * | * | * | * | * | * | T |
| 8291 | * | T | T | * | * | * | * | * | * | T |
| 8292 | * | F | * | * | T | F | T | * | T | T |
| 8293 | * | * | * | * | * | * | T | * | T | T |
| 8294 | * | * | * | * | * | * | T | * | T | T |
| 8295 | * | * | * | * | * | * | F | F | T | T |
| 8296 | * | * | * | * | * | * | F | F | F | T |
| 15088 | F | * | * | * | * | * | * | * | * | T |
| 15089 | F | T | T | * | * | * | * | * | * | T |
| 15090 | * | F | * | * | T | F | * | * | * | T |
| 15091 | * | T | T | * | * | * | * | * | * | T |
| 15092 | * | T | T | * | * | * | * | * | * | T |
| 15093 | * | F | * | * | T | F | T | * | T | T |
| 15094 | * | * | * | * | * | * | T | * | T | T |
| 15095 | * | * | * | * | * | * | T | * | T | T |
| 15096 | * | * | * | * | * | * | F | F | T | T |
| 15097 | * | * | * | * | * | * | F | F | F | T |
| 21754 | * | * | * | * | * | * | T | * | F | T |
| 24497 | * | * | * | * | * | * | T | * | F | T |
| 27140 | * | * | * | * | * | * | T | * | F | T |
| 30802 | * | * | * | * | * | * | T | * | F | T |
| 51657 | * | * | * | * | * | * | T | * | F | T |
| 72583 | * | * | * | * | * | * | T | * | F | T |
| 82466 | * | * | * | * | * | * | T | * | F | T |
| 92198 | F | * | * | * | * | * | * | * | * | T |
| 92199 | F | * | * | * | * | * | T | * | T | T |
| 92200 | * | * | * | * | * | * | F | F | T | T |
| 92201 | * | * | * | * | * | * | F | F | F | T |
| 100027 | F | * | * | * | * | * | * | * | * | T |
| 100028 | F | * | * | * | * | * | T | * | T | T |
| 100029 | * | * | * | * | * | * | F | F | T | T |
| 100030 | * | * | * | * | * | * | F | F | F | T |
| 108516 | F | * | * | * | * | * | * | * | * | T |
| 108517 | F | * | * | * | * | * | T | * | T | T |
| 108518 | * | * | * | * | * | * | F | F | T | T |
| 108519 | * | * | * | * | * | * | F | F | F | T |
| 116542 | F | * | * | * | * | * | * | * | * | T |
| 116543 | F | * | * | * | * | * | T | * | T | T |
| 116544 | * | * | * | * | * | * | F | F | T | T |
| 116545 | * | * | * | * | * | * | F | F | F | T |
| 124542 | * | * | * | * | * | * | T | * | F | T |
| 141261 | * | * | * | * | * | * | T | * | F | T |
| 158657 | * | * | * | * | * | * | T | * | T | T |
| 158658 | * | * | * | * | * | * | T | * | T | T |
| 158659 | * | * | * | * | * | * | T | * | T | T |
| 158660 | * | * | * | * | * | * | T | * | T | T |
| 158661 | * | * | * | * | * | * | T | * | T | T |
| 158662 | * | * | * | * | * | * | T | * | F | T |
| 168515 | * | * | * | * | * | * | T | * | T | T |
| 168516 | * | * | * | * | * | * | T | * | T | T |
| 168517 | * | * | * | * | * | * | T | * | T | T |
| 168518 | * | * | * | * | * | * | T | * | T | T |
| 168519 | * | * | * | * | * | * | T | * | T | T |
| 168520 | * | * | * | * | * | * | T | * | F | T |
| 176639 | F | * | * | * | * | * | F | F | T | T |
| 176640 | * | * | * | * | * | * | T | * | T | T |
| 176641 | * | * | * | * | * | * | T | * | F | T |
| 181251 | * | * | * | * | * | * | T | * | F | T |
| 184570 | * | * | * | * | * | * | T | * | F | T |
| 187678 | * | * | * | * | * | * | T | * | F | T |
| 191265 | * | * | * | * | * | * | T | * | F | T |
| 196824 | F | * | * | * | * | * | * | * | * | T |
| 196825 | F | * | * | * | * | * | T | * | T | T |
| 196826 | * | * | * | * | * | * | F | F | T | T |
| 196827 | * | * | * | * | * | * | F | F | F | T |
| 203346 | * | * | * | * | * | * | T | * | F | T |
| 208185 | * | * | * | * | * | * | T | * | T | T |
| 208186 | * | * | * | * | * | * | T | * | F | T |
| 215837 | * | * | * | * | * | * | T | * | F | T |
| 224274 | * | * | * | * | * | * | T | * | F | T |
| 301651 | * | * | * | * | * | * | T | * | F | T |
| 377123 | * | * | * | * | * | * | T | * | F | T |
| 379780 | * | * | * | * | * | * | T | * | F | T |
| 382664 | * | * | * | * | * | * | T | * | F | T |
Independent-effect pairs
All 9 conditions live in scry_analyze_core::resolved_stack_callees — 9 br_if
c0(branch3961): GAP view gap →c1(branch3962): GAP view gap →c2(branch3963): GAP view gap →c3(branch3964): DEAD view gap →c4(branch3965): GAP view gap →c5(branch3966): GAP view gap →c6(branch3973): GAP view gap →c7(branch3974): GAP view gap →c8(branch3975): GAP view gap →