Decision #1040 — binary_reader.rs:486
Status: partial
Truth table
| row | c0 br 7343 | c1 br 7344 | outcome |
|---|---|---|---|
| 2173 | T | T | T |
| 2174 | T | T | T |
| 5964 | T | T | T |
| 5965 | T | T | T |
| 9745 | T | T | T |
| 9746 | T | T | T |
| 12476 | T | T | T |
| 13850 | T | T | T |
| 15177 | T | T | T |
| 22612 | T | T | T |
| 32090 | T | T | T |
| 38409 | T | T | T |
| 44622 | T | T | T |
| 49286 | T | T | T |
| 49287 | T | T | T |
| 53487 | T | T | T |
| 53488 | T | T | T |
| 58017 | T | T | T |
| 58018 | T | T | T |
| 62210 | T | T | T |
| 62211 | T | T | T |
| 72732 | T | T | T |
| 84245 | T | T | T |
| 89829 | T | T | T |
| 94097 | T | T | T |
| 96795 | F | * | F |
| 98556 | T | T | T |
| 100071 | T | T | T |
| 101489 | T | T | T |
| 103577 | T | T | T |
| 107299 | T | T | T |
| 109750 | T | T | T |
| 112778 | T | T | T |
| 115652 | T | T | T |
| 135448 | T | T | T |
| 158384 | T | T | T |
| 163801 | T | T | T |
| 165382 | T | T | T |
| 167102 | T | T | T |
Independent-effect pairs
c0(branch7343): PROVED — pair rows2173,96795(masking)<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch7344): GAP view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if