Decision #1063 — binary_reader.rs:420
Status: no_witness
Truth table
| row | c0 br 7489 | c1 br 7490 | outcome |
|---|---|---|---|
| 2187 | F | T | T |
| 5978 | F | T | T |
| 9759 | F | T | T |
Independent-effect pairs
c0(branch7489): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: binary_reader.rs:443c1(branch7490): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: binary_reader.rs:443