Decision #579 — binary_reader.rs:389
Status: no_witness
Truth table
| row | c0 br 4401 | c1 br 4402 | outcome |
|---|---|---|---|
| 18188 | F | F | F |
| 25906 | F | F | F |
| 31632 | F | F | F |
| 37570 | F | F | F |
| 59647 | F | F | F |
| 69419 | F | F | F |
| 91260 | F | F | F |
| 107315 | F | F | F |
| 126178 | F | F | F |
Independent-effect pairs
c0(branch4401): GAP view gap →<wasmparser::readers::core::operators::FrameStackAdapter<T> as wasmparser::readers::core::operators::VisitOperator>::visit_block· br_ifc1(branch4402): GAP view gap →<wasmparser::readers::core::operators::FrameStackAdapter<T> as wasmparser::readers::core::operators::VisitOperator>::visit_block· br_if