Decision #1150 — binary_reader.rs:560
Status: no_witness
Truth table
| row | c0 br 7804 | c1 br 7805 | outcome |
|---|---|---|---|
| 38897 | F | F | F |
| 59751 | F | F | F |
| 75273 | F | F | F |
| 85156 | F | F | F |
| 132258 | F | F | F |
| 148977 | F | F | F |
| 216864 | F | F | F |
| 252690 | F | F | F |
| 330067 | F | F | F |
Independent-effect pairs
c0(branch7804): GAP view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_block· br_ifc1(branch7805): GAP view gap →<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_block· br_if