Decision #705 — src/binary_reader.rs:348
Status: no_witness
Truth table
| row | c0 br 4469 | c1 br 4539 | outcome |
|---|---|---|---|
| 1745 | F | * | F |
| 8705 | F | * | F |
| 15510 | F | * | F |
Independent-effect pairs
c0(branch4469): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1900 ← src/readers.rs:202c1(branch4539): DEAD view gap →scry_analyze_core::analyze· br_if