Decision #78 — lib.rs:3432
Status: no_witness
Truth table
| row | c0 br 557 | c1 br 566 | outcome |
|---|---|---|---|
| 9485 | F | * | F |
| 9486 | F | * | F |
| 10633 | F | * | F |
| 10634 | F | * | F |
| 11724 | F | * | F |
| 11725 | F | * | F |
| 40295 | F | T | T |
| 40296 | F | T | T |
| 43263 | F | T | T |
| 43264 | F | T | T |
| 46716 | F | T | T |
| 46717 | F | T | T |
| 49835 | F | T | T |
| 49836 | F | T | T |
| 72399 | F | * | F |
| 72400 | F | * | F |
| 72401 | F | * | F |
| 72402 | F | * | F |
| 72403 | F | * | F |
| 72404 | F | * | F |
| 75874 | F | * | F |
| 75875 | F | * | F |
| 75876 | F | * | F |
| 75877 | F | * | F |
| 75878 | F | * | F |
| 75879 | F | * | F |
| 80710 | F | * | F |
| 81897 | F | * | F |
| 82959 | F | * | F |
| 129951 | F | T | T |
| 131110 | F | T | T |
| 132437 | F | T | T |
Independent-effect pairs
c0(branch557): GAP view gap →scry_bits::BitsCong::reduce· br_ifc1(branch566): GAP view gap →scry_bits::BitsCong::reduce· br_if