Decision #1038 — binary_reader.rs:420
Status: partial
Truth table
| row | c0 br 7331 | c1 br 7333 | outcome |
|---|---|---|---|
| 2167 | T | F | F |
| 2168 | T | T | T |
| 5958 | T | F | F |
| 5959 | T | T | T |
| 9739 | T | F | F |
| 9740 | T | T | T |
| 12473 | T | F | F |
| 13847 | T | F | F |
| 15174 | T | F | F |
| 22609 | T | T | T |
| 32087 | T | T | T |
| 38406 | T | F | F |
| 44619 | T | F | F |
| 49280 | T | T | T |
| 49281 | T | F | F |
| 53481 | T | T | T |
| 53482 | T | F | F |
| 58011 | T | T | T |
| 58012 | T | F | F |
| 62204 | T | T | T |
| 62205 | T | F | F |
| 72729 | T | T | T |
| 84242 | T | T | T |
| 89826 | T | F | F |
| 94094 | T | F | F |
| 96793 | T | T | T |
| 98553 | T | F | F |
| 100068 | T | F | F |
| 101486 | T | F | F |
| 103574 | T | T | T |
| 107296 | T | F | F |
| 109747 | T | T | T |
| 112775 | T | F | F |
| 115649 | T | T | T |
| 135445 | T | F | F |
| 158381 | T | F | F |
| 163798 | T | T | T |
| 165379 | T | T | T |
| 167099 | T | T | T |
Independent-effect pairs
c0(branch7331): GAP view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: tables.rs:70c1(branch7333): PROVED — pair rows2167,2168(unique-cause)<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: tables.rs:82 ← binary_reader.rs:484