Decision #1213 — binary_reader.rs:232
Status: no_witness
Truth table
| row | c0 br 8311 | c1 br 8318 | c2 br 8325 | outcome |
|---|---|---|---|---|
| 2504 | * | * | T | T |
| 2505 | * | * | T | T |
| 2506 | * | * | T | T |
| 2507 | * | * | T | T |
| 2508 | F | F | T | T |
| 2509 | * | * | T | T |
| 2510 | * | * | T | T |
| 2511 | * | * | T | T |
| 2512 | * | * | T | T |
| 2513 | F | F | T | T |
| 9461 | * | * | T | T |
| 9462 | * | * | T | T |
| 9463 | * | * | T | T |
| 9464 | * | * | T | T |
| 9465 | F | F | T | T |
| 9466 | * | * | T | T |
| 9467 | * | * | T | T |
| 9468 | * | * | T | T |
| 9469 | * | * | T | T |
| 9470 | F | F | T | T |
| 16282 | * | * | T | T |
| 16283 | * | * | T | T |
| 16284 | * | * | T | T |
| 16285 | * | * | T | T |
| 16286 | F | F | T | T |
| 16287 | * | * | T | T |
| 16288 | * | * | T | T |
| 16289 | * | * | T | T |
| 16290 | * | * | T | T |
| 16291 | F | F | T | T |
| 22197 | F | F | T | T |
| 22198 | F | F | T | T |
| 24937 | F | F | T | T |
| 24938 | F | F | T | T |
| 27583 | F | F | T | T |
| 27584 | F | F | T | T |
| 38991 | F | F | T | T |
| 38992 | F | F | T | T |
| 59843 | F | F | T | T |
| 59844 | F | F | T | T |
| 75377 | F | F | T | T |
| 75378 | F | F | T | T |
| 85260 | F | F | T | T |
| 85261 | F | F | T | T |
| 93494 | * | * | T | T |
| 93495 | * | * | T | T |
| 93496 | F | F | T | T |
| 93497 | * | * | T | T |
| 93498 | * | * | T | T |
| 93499 | F | F | T | T |
| 101335 | * | * | T | T |
| 101336 | * | * | T | T |
| 101337 | F | F | T | T |
| 101338 | * | * | T | T |
| 101339 | * | * | T | T |
| 101340 | F | F | T | T |
| 109819 | * | * | T | T |
| 109820 | * | * | T | T |
| 109821 | F | F | T | T |
| 109822 | * | * | T | T |
| 109823 | * | * | T | T |
| 109824 | F | F | T | T |
| 117838 | * | * | T | T |
| 117839 | * | * | T | T |
| 117840 | F | F | T | T |
| 117841 | * | * | T | T |
| 117842 | * | * | T | T |
| 117843 | F | F | T | T |
| 132348 | F | F | T | T |
| 132349 | F | F | T | T |
| 149067 | F | F | T | T |
| 149068 | F | F | T | T |
| 160035 | * | * | T | T |
| 160036 | * | * | T | T |
| 160037 | * | * | T | T |
| 160038 | * | * | T | T |
| 160039 | * | * | T | T |
| 160040 | F | F | T | T |
| 160041 | * | * | T | T |
| 160042 | * | * | T | T |
| 160043 | * | * | T | T |
| 160044 | * | * | T | T |
| 160045 | * | * | T | T |
| 160046 | F | F | T | T |
| 169893 | * | * | T | T |
| 169894 | * | * | T | T |
| 169895 | * | * | T | T |
| 169896 | * | * | T | T |
| 169897 | * | * | T | T |
| 169898 | F | F | T | T |
| 169899 | * | * | T | T |
| 169900 | * | * | T | T |
| 169901 | * | * | T | T |
| 169902 | * | * | T | T |
| 169903 | * | * | T | T |
| 169904 | F | F | T | T |
| 177155 | * | * | T | T |
| 177156 | * | * | T | T |
| 177157 | F | F | T | T |
| 177158 | * | * | T | T |
| 177159 | * | * | T | T |
| 177160 | F | F | T | T |
| 181690 | F | F | T | T |
| 181691 | F | F | T | T |
| 185006 | F | F | T | T |
| 185007 | F | F | T | T |
| 188117 | F | F | T | T |
| 188118 | F | F | T | T |
| 192169 | F | F | T | T |
| 192170 | F | F | T | T |
| 198168 | * | * | T | T |
| 198169 | * | * | T | T |
| 198170 | F | F | T | T |
| 198171 | * | * | T | T |
| 198172 | * | * | T | T |
| 198173 | F | F | T | T |
| 204023 | F | F | T | T |
| 204024 | F | F | T | T |
| 209287 | * | * | T | T |
| 209288 | F | F | T | T |
| 209289 | * | * | T | T |
| 209290 | F | F | T | T |
| 216967 | F | F | T | T |
| 216968 | F | F | T | T |
| 252816 | F | F | T | T |
| 252817 | F | F | T | T |
| 330193 | F | F | T | T |
| 330194 | F | F | T | T |
| 377630 | F | F | T | T |
| 377631 | F | F | T | T |
| 380291 | F | F | T | T |
| 380292 | F | F | T | T |
| 383172 | F | F | T | T |
| 383173 | F | F | T | T |
Independent-effect pairs
c0(branch8311): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_if
inlined: parser.rs:805c1(branch8318): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_if
inlined: parser.rs:809c2(branch8325): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_if
inlined: parser.rs:827