Decision #1250 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 8456 | c1 br 8457 | outcome |
|---|---|---|---|
| 39111 | T | F | T |
| 59963 | T | F | T |
| 75497 | T | F | T |
| 85380 | T | F | T |
| 132468 | T | F | T |
| 149187 | T | F | T |
| 252936 | T | F | T |
| 330313 | T | F | T |
Independent-effect pairs
c0(branch8456): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_ifc1(branch8457): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_if