Decision #79 — lib.rs:2264
Status: no_witness
Truth table
| row | c0 br 570 | c1 br 574 | outcome |
|---|---|---|---|
| 40297 | F | * | F |
| 40298 | F | * | F |
| 43265 | F | * | F |
| 43266 | F | * | F |
| 46718 | F | * | F |
| 46719 | F | * | F |
| 49837 | F | * | F |
| 49838 | F | * | F |
| 129952 | F | * | F |
| 131111 | F | * | F |
| 132438 | F | * | F |
Independent-effect pairs
c0(branch570): GAP view gap →scry_bits::BitsCong::reduce· br_ifc1(branch574): DEAD view gap →scry_bits::BitsCong::reduce· br_if