Decision #640 — parser.rs:791
Status: no_witness
Truth table
| row | c0 br 4660 | c1 br 4661 | c2 br 4662 | c3 br 4663 | outcome |
|---|---|---|---|---|---|
| 1239 | * | F | F | T | T |
| 1240 | * | F | F | T | T |
| 1241 | * | F | F | T | T |
| 1242 | * | F | F | T | T |
| 1243 | * | F | F | T | T |
| 1244 | T | T | * | * | T |
| 1245 | * | F | F | T | T |
| 1246 | * | F | F | T | T |
| 1247 | * | F | F | T | T |
| 1248 | * | F | F | T | T |
| 1249 | * | F | F | T | T |
| 1250 | T | T | * | * | T |
| 4279 | * | F | F | T | T |
| 4280 | * | F | F | T | T |
| 4281 | * | F | F | T | T |
| 4282 | * | F | F | T | T |
| 4283 | * | F | F | T | T |
| 4284 | T | T | * | * | T |
| 4285 | * | F | F | T | T |
| 4286 | * | F | F | T | T |
| 4287 | * | F | F | T | T |
| 4288 | * | F | F | T | T |
| 4289 | * | F | F | T | T |
| 4290 | T | T | * | * | T |
| 7228 | * | F | F | T | T |
| 7229 | * | F | F | T | T |
| 7230 | * | F | F | T | T |
| 7231 | * | F | F | T | T |
| 7232 | * | F | F | T | T |
| 7233 | T | T | * | * | T |
| 7234 | * | F | F | T | T |
| 7235 | * | F | F | T | T |
| 7236 | * | F | F | T | T |
| 7237 | * | F | F | T | T |
| 7238 | * | F | F | T | T |
| 7239 | T | T | * | * | T |
| 9851 | * | F | F | T | T |
| 9852 | T | T | * | * | T |
| 9853 | * | F | F | T | T |
| 9854 | T | T | * | * | T |
| 10999 | * | F | F | T | T |
| 11000 | T | T | * | * | T |
| 11001 | * | F | F | T | T |
| 11002 | T | T | * | * | T |
| 12090 | * | F | F | T | T |
| 12091 | T | T | * | * | T |
| 12092 | * | F | F | T | T |
| 12093 | T | T | * | * | T |
| 18233 | * | F | F | T | T |
| 18234 | T | T | * | * | T |
| 18235 | * | F | F | T | T |
| 18236 | T | T | * | * | T |
| 25951 | * | F | F | T | T |
| 25952 | T | T | * | * | T |
| 25953 | * | F | F | T | T |
| 25954 | T | T | * | * | T |
| 31677 | * | F | F | T | T |
| 31678 | T | T | * | * | T |
| 31679 | * | F | F | T | T |
| 31680 | T | T | * | * | T |
| 37615 | * | F | F | T | T |
| 37616 | T | T | * | * | T |
| 37617 | * | F | F | T | T |
| 37618 | T | T | * | * | T |
| 41220 | * | F | F | T | T |
| 41221 | * | F | F | T | T |
| 41222 | * | F | F | T | T |
| 41223 | T | T | * | * | T |
| 41224 | * | F | F | T | T |
| 41225 | * | F | F | T | T |
| 41226 | * | F | F | T | T |
| 41227 | T | T | * | * | T |
| 44233 | * | F | F | T | T |
| 44234 | * | F | F | T | T |
| 44235 | * | F | F | T | T |
| 44236 | T | T | * | * | T |
| 44237 | * | F | F | T | T |
| 44238 | * | F | F | T | T |
| 44239 | * | F | F | T | T |
| 44240 | T | T | * | * | T |
| 47685 | * | F | F | T | T |
| 47686 | * | F | F | T | T |
| 47687 | * | F | F | T | T |
| 47688 | T | T | * | * | T |
| 47689 | * | F | F | T | T |
| 47690 | * | F | F | T | T |
| 47691 | * | F | F | T | T |
| 47692 | T | T | * | * | T |
| 50760 | * | F | F | T | T |
| 50761 | * | F | F | T | T |
| 50762 | * | F | F | T | T |
| 50763 | T | T | * | * | T |
| 50764 | * | F | F | T | T |
| 50765 | * | F | F | T | T |
| 50766 | * | F | F | T | T |
| 50767 | T | T | * | * | T |
| 59692 | * | F | F | T | T |
| 59693 | T | T | * | * | T |
| 59694 | * | F | F | T | T |
| 59695 | T | T | * | * | T |
| 69464 | * | F | F | T | T |
| 69465 | T | T | * | * | T |
| 69466 | * | F | F | T | T |
| 69467 | T | T | * | * | T |
| 73673 | * | F | F | T | T |
| 73674 | * | F | F | T | T |
| 73675 | * | F | F | T | T |
| 73676 | * | F | F | T | T |
| 73677 | * | F | F | T | T |
| 73678 | * | F | F | T | T |
| 73679 | T | T | * | * | T |
| 73680 | * | F | F | T | T |
| 73681 | * | F | F | T | T |
| 73682 | * | F | F | T | T |
| 73683 | * | F | F | T | T |
| 73684 | * | F | F | T | T |
| 73685 | * | F | F | T | T |
| 73686 | T | T | * | * | T |
| 77148 | * | F | F | T | T |
| 77149 | * | F | F | T | T |
| 77150 | * | F | F | T | T |
| 77151 | * | F | F | T | T |
| 77152 | * | F | F | T | T |
| 77153 | * | F | F | T | T |
| 77154 | T | T | * | * | T |
| 77155 | * | F | F | T | T |
| 77156 | * | F | F | T | T |
| 77157 | * | F | F | T | T |
| 77158 | * | F | F | T | T |
| 77159 | * | F | F | T | T |
| 77160 | * | F | F | T | T |
| 77161 | T | T | * | * | T |
| 79642 | * | F | F | T | T |
| 79643 | * | F | F | T | T |
| 79644 | * | F | F | T | T |
| 79645 | T | T | * | * | T |
| 79646 | * | F | F | T | T |
| 79647 | * | F | F | T | T |
| 79648 | * | F | F | T | T |
| 79649 | T | T | * | * | T |
| 81068 | * | F | F | T | T |
| 81069 | T | T | * | * | T |
| 81070 | * | F | F | T | T |
| 81071 | T | T | * | * | T |
| 82255 | * | F | F | T | T |
| 82256 | T | T | * | * | T |
| 82257 | * | F | F | T | T |
| 82258 | T | T | * | * | T |
| 83317 | * | F | F | T | T |
| 83318 | T | T | * | * | T |
| 83319 | * | F | F | T | T |
| 83320 | T | T | * | * | T |
| 84599 | * | F | F | T | T |
| 84600 | T | T | * | * | T |
| 84601 | * | F | F | T | T |
| 84602 | T | T | * | * | T |
| 86453 | * | F | F | T | T |
| 86454 | * | F | F | T | T |
| 86455 | * | F | F | T | T |
| 86456 | T | T | * | * | T |
| 86457 | * | F | F | T | T |
| 86458 | * | F | F | T | T |
| 86459 | * | F | F | T | T |
| 86460 | T | T | * | * | T |
| 87930 | * | F | F | T | T |
| 87931 | T | T | * | * | T |
| 87932 | * | F | F | T | T |
| 87933 | T | T | * | * | T |
| 89790 | * | F | F | T | T |
| 89791 | * | F | F | T | T |
| 89792 | T | T | * | * | T |
| 89793 | * | F | F | T | T |
| 89794 | * | F | F | T | T |
| 89795 | T | T | * | * | T |
| 91333 | * | F | F | T | T |
| 91334 | T | T | * | * | T |
| 91335 | * | F | F | T | T |
| 91336 | T | T | * | * | T |
| 107360 | * | F | F | T | T |
| 107361 | T | T | * | * | T |
| 107362 | * | F | F | T | T |
| 107363 | T | T | * | * | T |
| 126223 | * | F | F | T | T |
| 126224 | T | T | * | * | T |
| 126225 | * | F | F | T | T |
| 126226 | T | T | * | * | T |
| 130254 | * | F | F | T | T |
| 130255 | T | T | * | * | T |
| 130256 | * | F | F | T | T |
| 130257 | T | T | * | * | T |
| 131429 | * | F | F | T | T |
| 131430 | T | T | * | * | T |
| 131431 | * | F | F | T | T |
| 131432 | T | T | * | * | T |
| 132756 | * | F | F | T | T |
| 132757 | T | T | * | * | T |
| 132758 | * | F | F | T | T |
| 132759 | T | T | * | * | T |
Independent-effect pairs
All 4 conditions live in wasmparser::parser::Parser::parse_reader — 4 br_if
c0(branch4660): GAP view gap →c1(branch4661): GAP view gap →c2(branch4662): GAP view gap →c3(branch4663): GAP view gap →