Decision #290 — library/core/src/cmp.rs:1078
Status: no_witness
Truth table
| row | c0 br 1692 | c1 br 1751 | outcome |
|---|---|---|---|
| 11731 | F | * | F |
| 13107 | F | * | F |
| 14432 | F | * | F |
| 47318 | F | * | F |
| 51446 | F | * | F |
| 55984 | F | * | F |
| 60242 | F | * | F |
| 87463 | F | * | F |
| 87464 | F | * | F |
| 91731 | F | * | F |
| 91732 | F | * | F |
| 97809 | F | * | F |
| 99327 | F | * | F |
| 100742 | F | * | F |
| 163059 | F | * | F |
| 164614 | F | * | F |
| 166336 | F | * | F |
Independent-effect pairs
c0(branch1692): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: src/lib.rs:896 ← src/lib.rs:962c1(branch1751): DEAD view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: src/lib.rs:854