Decision #445 — binary_reader.rs:723
Status: no_witness
Truth table
| row | c0 br 2975 | c1 br 2977 | outcome |
|---|---|---|---|
| 18056 | F | T | T |
| 18057 | F | T | T |
| 25774 | F | T | T |
| 25775 | F | T | T |
| 31565 | * | T | T |
| 31566 | * | T | T |
| 31567 | * | T | T |
| 31568 | * | T | T |
| 37503 | * | T | T |
| 37504 | * | T | T |
| 37505 | * | T | T |
| 37506 | * | T | T |
| 59507 | F | T | T |
| 59508 | F | T | T |
| 69279 | F | T | T |
| 69280 | F | T | T |
| 107180 | F | T | T |
| 107181 | F | T | T |
| 107182 | F | T | T |
| 107183 | F | T | T |
| 126043 | F | T | T |
| 126044 | F | T | T |
| 126045 | F | T | T |
| 126046 | F | T | T |
Independent-effect pairs
c0(branch2975): GAP view gap →scry_octagon::narrow· br_ifc1(branch2977): GAP view gap →scry_octagon::narrow· br_if