Decision #478 — readers.rs:205
Status: partial
Truth table
| row | c0 br 3232 | c1 br 3233 | outcome |
|---|---|---|---|
| 1068 | F | F | F |
| 1069 | F | F | F |
| 1070 | F | F | F |
| 1071 | F | F | F |
| 1072 | F | F | F |
| 4108 | F | F | F |
| 4109 | F | F | F |
| 4110 | F | F | F |
| 4111 | F | F | F |
| 4112 | F | F | F |
| 7057 | F | F | F |
| 7058 | F | F | F |
| 7059 | F | F | F |
| 7060 | F | F | F |
| 7061 | F | F | F |
| 9783 | F | F | F |
| 10931 | F | F | F |
| 12022 | F | F | F |
| 18132 | F | T | T |
| 18133 | F | F | F |
| 25850 | F | T | T |
| 25851 | F | F | F |
| 31579 | F | T | T |
| 31580 | F | F | F |
| 37517 | F | T | T |
| 37518 | F | F | F |
| 41101 | F | F | F |
| 41102 | F | F | F |
| 41103 | F | F | F |
| 44114 | F | F | F |
| 44115 | F | F | F |
| 44116 | F | F | F |
| 47566 | F | F | F |
| 47567 | F | F | F |
| 47568 | F | F | F |
| 50641 | F | F | F |
| 50642 | F | F | F |
| 50643 | F | F | F |
| 59591 | F | T | T |
| 59592 | F | F | F |
| 69363 | F | T | T |
| 69364 | F | F | F |
| 73511 | F | F | F |
| 73512 | F | F | F |
| 73513 | F | F | F |
| 73514 | F | F | F |
| 73515 | F | F | F |
| 73516 | F | F | F |
| 76986 | F | F | F |
| 76987 | F | F | F |
| 76988 | F | F | F |
| 76989 | F | F | F |
| 76990 | F | F | F |
| 76991 | F | F | F |
| 79549 | F | F | F |
| 79550 | F | F | F |
| 79551 | F | F | F |
| 80988 | F | F | F |
| 82175 | F | F | F |
| 83237 | F | F | F |
| 84470 | F | F | F |
| 86253 | F | F | F |
| 86254 | F | F | F |
| 86255 | F | F | F |
| 87812 | F | F | F |
| 89559 | F | F | F |
| 89560 | F | F | F |
| 91174 | F | F | F |
| 107256 | F | T | T |
| 107257 | F | F | F |
| 126119 | F | T | T |
| 126120 | F | F | F |
| 130193 | F | F | F |
| 131368 | F | F | F |
| 132695 | F | F | F |
Independent-effect pairs
c0(branch3232): GAP view gap →<wasmparser::readers::core::code::LocalsIterator as core::iter::traits::iterator::Iterator>::next· br_ifc1(branch3233): PROVED — pair rows1068,18132(unique-cause)<wasmparser::readers::core::code::LocalsIterator as core::iter::traits::iterator::Iterator>::next· br_if