Decision #1016 — lib.rs:1301
Status: no_witness
Truth table
| row | c0 br 7226 | c1 br 7227 | outcome |
|---|---|---|---|
| 22604 | T | F | F |
| 32082 | T | F | F |
| 38401 | T | F | F |
| 44614 | T | F | F |
| 72724 | T | F | F |
| 84237 | T | F | F |
| 135440 | T | F | F |
| 158376 | T | F | F |
Independent-effect pairs
c0(branch7226): GAP view gap →<wasmparser::readers::core::code::LocalsReader>::read· br_ifc1(branch7227): GAP view gap →<wasmparser::readers::core::code::LocalsReader>::read· br_if