Decision #315 — src/binary_reader.rs:285
Status: no_witness
Truth table
| row | c0 br 2173 | c1 br 2174 | outcome |
|---|---|---|---|
| 84391 | F | T | T |
| 84392 | T | * | T |
| 86104 | F | T | T |
| 86105 | T | * | T |
| 87741 | F | T | T |
| 87742 | T | * | T |
| 89412 | F | T | T |
| 89413 | F | T | T |
| 89414 | T | * | T |
| 91075 | F | T | T |
| 91076 | T | * | T |
Independent-effect pairs
c0(branch2173): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch2174): GAP view gap →scry_analyze_core::analyze· br_if