Decision #56 — library/core/src/cmp.rs:1077
Status: no_witness
Truth table
| row | c0 br 415 | c1 br 427 | outcome |
|---|---|---|---|
| 9477 | F | T | T |
| 10625 | F | T | T |
| 11716 | F | T | T |
| 40284 | F | F | T |
| 43252 | F | F | T |
| 46705 | F | F | T |
| 49824 | F | F | T |
| 72377 | F | T | T |
| 72378 | F | T | T |
| 75852 | F | T | T |
| 75853 | F | T | T |
| 80705 | F | T | T |
| 81892 | F | T | T |
| 82954 | F | T | T |
| 129945 | F | F | T |
| 131104 | F | F | T |
| 132431 | F | F | T |
Independent-effect pairs
c0(branch415): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: src/lib.rs:511 ← src/lib.rs:79c1(branch427): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: src/lib.rs:896 ← src/lib.rs:978