Decision #313 — library/core/src/num/uint_macros.rs:703
Status: no_witness
Truth table
| row | c0 br 1701 | c1 br 1706 | outcome |
|---|---|---|---|
| 90792 | T | * | T |
| 90793 | T | * | T |
| 98566 | T | * | T |
| 98567 | T | * | T |
| 107060 | T | * | T |
| 107061 | T | * | T |
| 115136 | T | * | T |
| 115137 | T | * | T |
| 376727 | T | * | T |
| 379364 | T | * | T |
| 382248 | T | * | T |
Independent-effect pairs
c0(branch1701): GAP view gap →<scry_bits::BitsCong>::reduce· br_ifc1(branch1706): DEAD view gap →<scry_bits::BitsCong>::reduce· br_if