Decision #1282 — binary_reader.rs:285
Status: no_witness
Truth table
| row | c0 br 8636 | c1 br 8646 | outcome |
|---|---|---|---|
| 3265 | T | T | T |
| 10222 | T | T | T |
| 17075 | T | T | T |
Independent-effect pairs
c0(branch8636): GAP view gap →<wasmparser::readers::core::types::TableType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: imports.rs:131c1(branch8646): GAP view gap →<wasmparser::readers::core::types::TableType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: imports.rs:151