Decision #628 — binary_reader.rs:270
Status: no_witness
Truth table
| row | c0 br 4683 | c1 br 4684 | outcome |
|---|---|---|---|
| 1181 | T | F | F |
| 1182 | T | F | F |
| 1183 | T | F | F |
| 1184 | T | F | F |
| 1185 | T | F | F |
| 1186 | T | F | F |
| 1187 | T | F | F |
| 1188 | T | F | F |
| 1189 | T | F | F |
| 1190 | T | F | F |
| 1191 | T | F | F |
| 1192 | T | F | F |
| 4221 | T | F | F |
| 4222 | T | F | F |
| 4223 | T | F | F |
| 4224 | T | F | F |
| 4225 | T | F | F |
| 4226 | T | F | F |
| 4227 | T | F | F |
| 4228 | T | F | F |
| 4229 | T | F | F |
| 4230 | T | F | F |
| 4231 | T | F | F |
| 4232 | T | F | F |
| 7170 | T | F | F |
| 7171 | T | F | F |
| 7172 | T | F | F |
| 7173 | T | F | F |
| 7174 | T | F | F |
| 7175 | T | F | F |
| 7176 | T | F | F |
| 7177 | T | F | F |
| 7178 | T | F | F |
| 7179 | T | F | F |
| 7180 | T | F | F |
| 7181 | T | F | F |
| 9813 | T | F | F |
| 9814 | T | F | F |
| 9815 | T | F | F |
| 9816 | T | F | F |
| 9817 | T | F | F |
| 9818 | T | F | F |
| 9819 | T | F | F |
| 9820 | T | F | F |
| 10961 | T | F | F |
| 10962 | T | F | F |
| 10963 | T | F | F |
| 10964 | T | F | F |
| 10965 | T | F | F |
| 10966 | T | F | F |
| 10967 | T | F | F |
| 10968 | T | F | F |
| 12052 | T | F | F |
| 12053 | T | F | F |
| 12054 | T | F | F |
| 12055 | T | F | F |
| 12056 | T | F | F |
| 12057 | T | F | F |
| 12058 | T | F | F |
| 12059 | T | F | F |
| 18195 | T | F | F |
| 18196 | T | F | F |
| 18197 | T | F | F |
| 18198 | T | F | F |
| 18199 | T | F | F |
| 18200 | T | F | F |
| 18201 | T | F | F |
| 18202 | T | F | F |
| 25913 | T | F | F |
| 25914 | T | F | F |
| 25915 | T | F | F |
| 25916 | T | F | F |
| 25917 | T | F | F |
| 25918 | T | F | F |
| 25919 | T | F | F |
| 25920 | T | F | F |
| 31639 | T | F | F |
| 31640 | T | F | F |
| 31641 | T | F | F |
| 31642 | T | F | F |
| 31643 | T | F | F |
| 31644 | T | F | F |
| 31645 | T | F | F |
| 31646 | T | F | F |
| 37577 | T | F | F |
| 37578 | T | F | F |
| 37579 | T | F | F |
| 37580 | T | F | F |
| 37581 | T | F | F |
| 37582 | T | F | F |
| 37583 | T | F | F |
| 37584 | T | F | F |
| 41172 | T | F | F |
| 41173 | T | F | F |
| 41174 | T | F | F |
| 41175 | T | F | F |
| 41176 | T | F | F |
| 41177 | T | F | F |
| 41178 | T | F | F |
| 41179 | T | F | F |
| 41180 | T | F | F |
| 41181 | T | F | F |
| 44185 | T | F | F |
| 44186 | T | F | F |
| 44187 | T | F | F |
| 44188 | T | F | F |
| 44189 | T | F | F |
| 44190 | T | F | F |
| 44191 | T | F | F |
| 44192 | T | F | F |
| 44193 | T | F | F |
| 44194 | T | F | F |
| 47637 | T | F | F |
| 47638 | T | F | F |
| 47639 | T | F | F |
| 47640 | T | F | F |
| 47641 | T | F | F |
| 47642 | T | F | F |
| 47643 | T | F | F |
| 47644 | T | F | F |
| 47645 | T | F | F |
| 47646 | T | F | F |
| 50712 | T | F | F |
| 50713 | T | F | F |
| 50714 | T | F | F |
| 50715 | T | F | F |
| 50716 | T | F | F |
| 50717 | T | F | F |
| 50718 | T | F | F |
| 50719 | T | F | F |
| 50720 | T | F | F |
| 50721 | T | F | F |
| 59654 | T | F | F |
| 59655 | T | F | F |
| 59656 | T | F | F |
| 59657 | T | F | F |
| 59658 | T | F | F |
| 59659 | T | F | F |
| 59660 | T | F | F |
| 59661 | T | F | F |
| 69426 | T | F | F |
| 69427 | T | F | F |
| 69428 | T | F | F |
| 69429 | T | F | F |
| 69430 | T | F | F |
| 69431 | T | F | F |
| 69432 | T | F | F |
| 69433 | T | F | F |
| 73625 | T | F | F |
| 73626 | T | F | F |
| 73627 | T | F | F |
| 73628 | T | F | F |
| 73629 | T | F | F |
| 73630 | T | F | F |
| 73631 | T | F | F |
| 73632 | T | F | F |
| 77100 | T | F | F |
| 77101 | T | F | F |
| 77102 | T | F | F |
| 77103 | T | F | F |
| 77104 | T | F | F |
| 77105 | T | F | F |
| 77106 | T | F | F |
| 77107 | T | F | F |
| 79594 | T | F | F |
| 79595 | T | F | F |
| 79596 | T | F | F |
| 79597 | T | F | F |
| 79598 | T | F | F |
| 79599 | T | F | F |
| 79600 | T | F | F |
| 79601 | T | F | F |
| 79602 | T | F | F |
| 79603 | T | F | F |
| 81024 | T | F | F |
| 81025 | T | F | F |
| 81026 | T | F | F |
| 81027 | T | F | F |
| 81028 | T | F | F |
| 81029 | T | F | F |
| 81030 | T | F | F |
| 81031 | T | F | F |
| 81032 | T | F | F |
| 81033 | T | F | F |
| 82211 | T | F | F |
| 82212 | T | F | F |
| 82213 | T | F | F |
| 82214 | T | F | F |
| 82215 | T | F | F |
| 82216 | T | F | F |
| 82217 | T | F | F |
| 82218 | T | F | F |
| 82219 | T | F | F |
| 82220 | T | F | F |
| 83273 | T | F | F |
| 83274 | T | F | F |
| 83275 | T | F | F |
| 83276 | T | F | F |
| 83277 | T | F | F |
| 83278 | T | F | F |
| 83279 | T | F | F |
| 83280 | T | F | F |
| 83281 | T | F | F |
| 83282 | T | F | F |
| 84547 | T | F | F |
| 84548 | T | F | F |
| 84549 | T | F | F |
| 84550 | T | F | F |
| 84551 | T | F | F |
| 84552 | T | F | F |
| 84553 | T | F | F |
| 84554 | T | F | F |
| 84555 | T | F | F |
| 84556 | T | F | F |
| 84557 | T | F | F |
| 84558 | T | F | F |
| 86397 | T | F | F |
| 86398 | T | F | F |
| 86399 | T | F | F |
| 86400 | T | F | F |
| 86401 | T | F | F |
| 86402 | T | F | F |
| 86403 | T | F | F |
| 86404 | T | F | F |
| 86405 | T | F | F |
| 86406 | T | F | F |
| 86407 | T | F | F |
| 86408 | T | F | F |
| 87878 | T | F | F |
| 87879 | T | F | F |
| 87880 | T | F | F |
| 87881 | T | F | F |
| 87882 | T | F | F |
| 87883 | T | F | F |
| 87884 | T | F | F |
| 87885 | T | F | F |
| 87886 | T | F | F |
| 87887 | T | F | F |
| 87888 | T | F | F |
| 87889 | T | F | F |
| 89736 | T | F | F |
| 89737 | T | F | F |
| 89738 | T | F | F |
| 89739 | T | F | F |
| 89740 | T | F | F |
| 89741 | T | F | F |
| 89742 | T | F | F |
| 89743 | T | F | F |
| 89744 | T | F | F |
| 89745 | T | F | F |
| 89746 | T | F | F |
| 89747 | T | F | F |
| 91281 | T | F | F |
| 91282 | T | F | F |
| 91283 | T | F | F |
| 91284 | T | F | F |
| 91285 | T | F | F |
| 91286 | T | F | F |
| 91287 | T | F | F |
| 91288 | T | F | F |
| 91289 | T | F | F |
| 91290 | T | F | F |
| 91291 | T | F | F |
| 91292 | T | F | F |
| 107322 | T | F | F |
| 107323 | T | F | F |
| 107324 | T | F | F |
| 107325 | T | F | F |
| 107326 | T | F | F |
| 107327 | T | F | F |
| 107328 | T | F | F |
| 107329 | T | F | F |
| 126185 | T | F | F |
| 126186 | T | F | F |
| 126187 | T | F | F |
| 126188 | T | F | F |
| 126189 | T | F | F |
| 126190 | T | F | F |
| 126191 | T | F | F |
| 126192 | T | F | F |
| 130216 | T | F | F |
| 130217 | T | F | F |
| 130218 | T | F | F |
| 130219 | T | F | F |
| 130220 | T | F | F |
| 130221 | T | F | F |
| 130222 | T | F | F |
| 130223 | T | F | F |
| 131391 | T | F | F |
| 131392 | T | F | F |
| 131393 | T | F | F |
| 131394 | T | F | F |
| 131395 | T | F | F |
| 131396 | T | F | F |
| 131397 | T | F | F |
| 131398 | T | F | F |
| 132718 | T | F | F |
| 132719 | T | F | F |
| 132720 | T | F | F |
| 132721 | T | F | F |
| 132722 | T | F | F |
| 132723 | T | F | F |
| 132724 | T | F | F |
| 132725 | T | F | F |
Independent-effect pairs
c0(branch4683): GAP view gap →wasmparser::parser::Parser::parse_reader· br_if
inlined: binary_reader.rs:369c1(branch4684): GAP view gap →wasmparser::parser::Parser::parse_reader· br_if
inlined: binary_reader.rs:369