Decision #1065 — binary_reader.rs:1015
Status: no_witness
Truth table
| row | c0 br 6722 | c1 br 6724 | c2 br 6725 | c3 br 6726 | outcome |
|---|---|---|---|---|---|
| 2313 | F | F | T | T | T |
| 2314 | F | F | T | T | T |
| 2315 | F | F | T | T | T |
| 2316 | F | F | T | T | T |
| 9272 | F | F | T | T | T |
| 9273 | F | F | T | T | T |
| 9274 | F | F | T | T | T |
| 9275 | F | F | T | T | T |
| 16078 | F | F | T | T | T |
| 16079 | F | F | T | T | T |
| 16080 | F | F | T | T | T |
| 16081 | F | F | T | T | T |
| 22131 | F | F | T | T | T |
| 22132 | F | F | T | T | T |
| 24873 | F | F | T | T | T |
| 24874 | F | F | T | T | T |
| 27517 | F | F | T | T | T |
| 27518 | F | F | T | T | T |
| 38855 | F | F | T | T | T |
| 38856 | F | F | T | T | T |
| 59709 | F | F | T | T | T |
| 59710 | F | F | T | T | T |
| 75233 | F | F | T | T | T |
| 75234 | F | F | T | T | T |
| 85116 | F | F | T | T | T |
| 85117 | F | F | T | T | T |
| 93339 | F | F | T | T | T |
| 93340 | F | F | T | T | T |
| 93341 | F | F | T | T | T |
| 93342 | F | F | T | T | T |
| 101170 | F | F | T | T | T |
| 101171 | F | F | T | T | T |
| 101172 | F | F | T | T | T |
| 101173 | F | F | T | T | T |
| 109658 | F | F | T | T | T |
| 109659 | F | F | T | T | T |
| 109660 | F | F | T | T | T |
| 109661 | F | F | T | T | T |
| 117683 | F | F | T | T | T |
| 117684 | F | F | T | T | T |
| 117685 | F | F | T | T | T |
| 117686 | F | F | T | T | T |
| 132216 | F | F | T | T | T |
| 132217 | F | F | T | T | T |
| 148935 | F | F | T | T | T |
| 148936 | F | F | T | T | T |
| 159851 | F | F | T | T | T |
| 159852 | F | F | T | T | T |
| 169709 | F | F | T | T | T |
| 169710 | F | F | T | T | T |
| 177064 | F | F | T | T | T |
| 177065 | F | F | T | T | T |
| 181606 | F | F | T | T | T |
| 181607 | F | F | T | T | T |
| 184924 | F | F | T | T | T |
| 184925 | F | F | T | T | T |
| 188033 | F | F | T | T | T |
| 188034 | F | F | T | T | T |
| 192065 | F | F | T | T | T |
| 192066 | F | F | T | T | T |
| 197974 | F | F | T | T | T |
| 197975 | F | F | T | T | T |
| 203931 | F | F | T | T | T |
| 203932 | F | F | T | T | T |
| 209065 | F | F | T | T | T |
| 209066 | F | F | T | T | T |
| 216796 | F | F | T | T | T |
| 216797 | F | F | T | T | T |
| 252646 | F | F | T | T | T |
| 252647 | F | F | T | T | T |
| 330023 | F | F | T | T | T |
| 330024 | F | F | T | T | T |
| 377567 | F | F | T | T | T |
| 377568 | F | F | T | T | T |
| 380224 | F | F | T | T | T |
| 380225 | F | F | T | T | T |
| 383107 | F | F | T | T | T |
| 383108 | F | F | T | T | T |
Independent-effect pairs
All 4 conditions live in <wasmparser::binary_reader::BinaryReader>::read_size — 4 br_if
c0(branch6722): GAP view gap →c1(branch6724): GAP view gap →c2(branch6725): GAP view gap →c3(branch6726): GAP view gap →