Decision #641 — parser.rs:756
Status: no_witness
Truth table
| row | c0 br 4664 | c1 br 4665 | outcome |
|---|---|---|---|
| 1251 | F | T | T |
| 1252 | F | T | T |
| 1253 | F | T | T |
| 1254 | F | T | T |
| 1255 | F | T | T |
| 1256 | F | T | T |
| 1257 | F | T | T |
| 1258 | F | T | T |
| 1259 | F | T | T |
| 1260 | F | T | T |
| 4291 | F | T | T |
| 4292 | F | T | T |
| 4293 | F | T | T |
| 4294 | F | T | T |
| 4295 | F | T | T |
| 4296 | F | T | T |
| 4297 | F | T | T |
| 4298 | F | T | T |
| 4299 | F | T | T |
| 4300 | F | T | T |
| 7240 | F | T | T |
| 7241 | F | T | T |
| 7242 | F | T | T |
| 7243 | F | T | T |
| 7244 | F | T | T |
| 7245 | F | T | T |
| 7246 | F | T | T |
| 7247 | F | T | T |
| 7248 | F | T | T |
| 7249 | F | T | T |
| 9855 | F | T | T |
| 9856 | F | T | T |
| 11003 | F | T | T |
| 11004 | F | T | T |
| 12094 | F | T | T |
| 12095 | F | T | T |
| 18237 | F | T | T |
| 18238 | F | T | T |
| 25955 | F | T | T |
| 25956 | F | T | T |
| 31681 | F | T | T |
| 31682 | F | T | T |
| 37619 | F | T | T |
| 37620 | F | T | T |
| 41228 | F | T | T |
| 41229 | F | T | T |
| 41230 | F | T | T |
| 41231 | F | T | T |
| 41232 | F | T | T |
| 41233 | F | T | T |
| 44241 | F | T | T |
| 44242 | F | T | T |
| 44243 | F | T | T |
| 44244 | F | T | T |
| 44245 | F | T | T |
| 44246 | F | T | T |
| 47693 | F | T | T |
| 47694 | F | T | T |
| 47695 | F | T | T |
| 47696 | F | T | T |
| 47697 | F | T | T |
| 47698 | F | T | T |
| 50768 | F | T | T |
| 50769 | F | T | T |
| 50770 | F | T | T |
| 50771 | F | T | T |
| 50772 | F | T | T |
| 50773 | F | T | T |
| 59696 | F | T | T |
| 59697 | F | T | T |
| 69468 | F | T | T |
| 69469 | F | T | T |
| 73687 | F | T | T |
| 73688 | F | T | T |
| 73689 | F | T | T |
| 73690 | F | T | T |
| 73691 | F | T | T |
| 73692 | F | T | T |
| 73693 | F | T | T |
| 73694 | F | T | T |
| 73695 | F | T | T |
| 73696 | F | T | T |
| 73697 | F | T | T |
| 73698 | F | T | T |
| 77162 | F | T | T |
| 77163 | F | T | T |
| 77164 | F | T | T |
| 77165 | F | T | T |
| 77166 | F | T | T |
| 77167 | F | T | T |
| 77168 | F | T | T |
| 77169 | F | T | T |
| 77170 | F | T | T |
| 77171 | F | T | T |
| 77172 | F | T | T |
| 77173 | F | T | T |
| 79650 | F | T | T |
| 79651 | F | T | T |
| 79652 | F | T | T |
| 79653 | F | T | T |
| 79654 | F | T | T |
| 79655 | F | T | T |
| 81072 | F | T | T |
| 81073 | F | T | T |
| 82259 | F | T | T |
| 82260 | F | T | T |
| 83321 | F | T | T |
| 83322 | F | T | T |
| 84603 | F | T | T |
| 84604 | F | T | T |
| 86461 | F | T | T |
| 86462 | F | T | T |
| 86463 | F | T | T |
| 86464 | F | T | T |
| 86465 | F | T | T |
| 86466 | F | T | T |
| 87934 | F | T | T |
| 87935 | F | T | T |
| 89796 | F | T | T |
| 89797 | F | T | T |
| 89798 | F | T | T |
| 89799 | F | T | T |
| 91337 | F | T | T |
| 91338 | F | T | T |
| 107364 | F | T | T |
| 107365 | F | T | T |
| 126227 | F | T | T |
| 126228 | F | T | T |
| 130258 | F | T | T |
| 130259 | F | T | T |
| 131433 | F | T | T |
| 131434 | F | T | T |
| 132760 | F | T | T |
| 132761 | F | T | T |
Independent-effect pairs
c0(branch4664): GAP view gap →wasmparser::parser::Parser::parse_reader· br_ifc1(branch4665): GAP view gap →wasmparser::parser::Parser::parse_reader· br_if