Decision #1252 — binary_reader.rs:492
Status: no_witness
Truth table
| row | c0 br 8463 | c1 br 8464 | outcome |
|---|---|---|---|
| 39112 | F | T | T |
| 59964 | F | T | T |
| 75498 | F | T | T |
| 85381 | F | T | T |
| 132469 | F | T | T |
| 149188 | F | T | T |
| 252937 | F | T | T |
| 330314 | F | T | T |
Independent-effect pairs
c0(branch8463): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_ifc1(branch8464): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_if