Decision #1015 — binary_reader.rs:505
Status: no_witness
Truth table
| row | c0 br 7223 | c1 br 7224 | outcome |
|---|---|---|---|
| 22603 | F | T | T |
| 32081 | F | T | T |
| 38400 | F | T | T |
| 44613 | F | T | T |
| 72723 | F | T | T |
| 84236 | F | T | T |
| 135439 | F | T | T |
| 158375 | F | T | T |
Independent-effect pairs
c0(branch7223): GAP view gap →<wasmparser::readers::core::code::LocalsReader>::read· br_ifc1(branch7224): GAP view gap →<wasmparser::readers::core::code::LocalsReader>::read· br_if