Decision #62 — library/core/src/slice/sort/shared/smallsort.rs:566
Status: no_witness
Truth table
| row | c0 br 554 | c1 br 555 | outcome |
|---|---|---|---|
| 245 | T | * | T |
| 3285 | T | * | T |
| 6180 | T | * | T |
| 9480 | T | * | T |
| 10628 | T | * | T |
| 11719 | T | * | T |
| 13144 | T | * | T |
| 20862 | T | * | T |
| 28385 | T | * | T |
| 34323 | T | * | T |
| 40289 | T | * | T |
| 43257 | T | * | T |
| 46710 | T | * | T |
| 49829 | T | * | T |
| 52922 | T | * | T |
| 62694 | T | * | T |
| 72388 | T | * | T |
| 75863 | T | * | T |
| 79144 | T | * | T |
| 80707 | T | * | T |
| 81894 | T | * | T |
| 82956 | T | * | T |
| 84139 | T | * | T |
| 85477 | T | * | T |
| 87540 | T | * | T |
| 88777 | T | * | T |
| 90761 | T | * | T |
| 92405 | T | * | T |
| 111268 | T | * | T |
| 129947 | T | * | T |
| 131106 | T | * | T |
| 132433 | T | * | T |
Independent-effect pairs
c0(branch554): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch555): DEAD view gap →scry_analyze_core::compute_bit_facts· br_if