Decision #313 — src/binary_reader.rs:285
Status: no_witness
Truth table
| row | c0 br 2063 | c1 br 2099 | c2 br 2107 | outcome |
|---|---|---|---|---|
| 943 | * | T | * | T |
| 3983 | * | T | * | T |
| 6932 | * | T | * | T |
Independent-effect pairs
c0(branch2063): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: src/readers.rs:210c1(branch2099): GAP view gap →scry_analyze_core::analyze· br_ifc2(branch2107): DEAD view gap →scry_analyze_core::analyze· br_if