Decision #653 — binary_reader.rs:421
Status: no_witness
Truth table
| row | c0 br 4782 | c1 br 4783 | outcome |
|---|---|---|---|
| 1281 | T | F | T |
| 1282 | T | F | T |
| 4321 | T | F | T |
| 4322 | T | F | T |
| 7270 | T | F | T |
| 7271 | T | F | T |
| 9871 | T | F | T |
| 9872 | T | F | T |
| 11019 | T | F | T |
| 11020 | T | F | T |
| 12110 | T | F | T |
| 12111 | T | F | T |
| 18253 | T | F | T |
| 18254 | T | F | T |
| 25971 | T | F | T |
| 25972 | T | F | T |
| 31697 | T | F | T |
| 31698 | T | F | T |
| 37635 | T | F | T |
| 37636 | T | F | T |
| 41250 | T | F | T |
| 41251 | T | F | T |
| 44263 | T | F | T |
| 44264 | T | F | T |
| 47715 | T | F | T |
| 47716 | T | F | T |
| 50790 | T | F | T |
| 50791 | T | F | T |
| 59712 | T | F | T |
| 59713 | T | F | T |
| 69484 | T | F | T |
| 69485 | T | F | T |
| 73713 | T | F | T |
| 73714 | T | F | T |
| 77188 | T | F | T |
| 77189 | T | F | T |
| 79672 | T | F | T |
| 79673 | T | F | T |
| 81090 | T | F | T |
| 81091 | T | F | T |
| 82277 | T | F | T |
| 82278 | T | F | T |
| 83339 | T | F | T |
| 83340 | T | F | T |
| 84623 | T | F | T |
| 84624 | T | F | T |
| 86485 | T | F | T |
| 86486 | T | F | T |
| 87954 | T | F | T |
| 87955 | T | F | T |
| 89818 | T | F | T |
| 89819 | T | F | T |
| 91357 | T | F | T |
| 91358 | T | F | T |
| 107380 | T | F | T |
| 107381 | T | F | T |
| 126243 | T | F | T |
| 126244 | T | F | T |
| 130274 | T | F | T |
| 130275 | T | F | T |
| 131449 | T | F | T |
| 131450 | T | F | T |
| 132776 | T | F | T |
| 132777 | T | F | T |
Independent-effect pairs
c0(branch4782): GAP view gap →wasmparser::parser::section· br_if
inlined: binary_reader.rs:443c1(branch4783): GAP view gap →wasmparser::parser::section· br_if
inlined: binary_reader.rs:443