Decision #1004 — binary_reader.rs:1064
Status: partial
Truth table
| row | c0 br 3355 | c1 br 3356 | c2 br 3357 | c3 br 3358 | c4 br 3359 | c5 br 3360 | c6 br 3361 | c7 br 3362 | c8 br 3363 | c9 br 3364 | c10 br 3365 | c11 br 3366 | c12 br 3367 | c13 br 3368 | c14 br 3369 | c15 br 3370 | c16 br 3371 | c17 br 3372 | c18 br 3373 | c19 br 3374 | c20 br 3375 | c21 br 3376 | c22 br 3377 | c23 br 3378 | c24 br 3379 | c25 br 3380 | c26 br 3381 | c27 br 3382 | c28 br 3383 | c29 br 3384 | c30 br 3385 | c31 br 3386 | c32 br 3387 | c33 br 3388 | c34 br 3389 | c35 br 3390 | c36 br 3391 | c37 br 3392 | c38 br 3393 | c39 br 3394 | c40 br 3395 | c41 br 3396 | c42 br 3397 | c43 br 3398 | c44 br 3399 | c45 br 3400 | c46 br 3401 | c47 br 3402 | c48 br 3403 | c49 br 3404 | c50 br 3405 | c51 br 3406 | c52 br 3407 | c53 br 3408 | c54 br 3409 | c55 br 3410 | c56 br 3411 | c57 br 3412 | c58 br 3413 | c59 br 3414 | c60 br 3415 | c61 br 3416 | c62 br 3417 | c63 br 3418 | c64 br 3419 | c65 br 3420 | c66 br 3421 | c67 br 3422 | c68 br 3423 | c69 br 3424 | c70 br 3425 | c71 br 3426 | c72 br 3427 | c73 br 3428 | c74 br 3429 | c75 br 3430 | c76 br 3431 | c77 br 3432 | c78 br 3433 | c79 br 3434 | c80 br 3435 | c81 br 3436 | c82 br 3437 | c83 br 3438 | c84 br 3439 | c85 br 3440 | c86 br 3441 | c87 br 3442 | c88 br 3443 | c89 br 3444 | c90 br 3445 | c91 br 3446 | c92 br 3447 | c93 br 3448 | c94 br 3449 | c95 br 3450 | c96 br 3451 | c97 br 3452 | c98 br 3453 | c99 br 3454 | c100 br 3455 | c101 br 3456 | c102 br 3457 | c103 br 3458 | c104 br 3459 | c105 br 3460 | c106 br 3461 | c107 br 3462 | c108 br 3463 | c109 br 3464 | c110 br 3465 | c111 br 3466 | c112 br 3467 | c113 br 3468 | c114 br 3469 | c115 br 3470 | c116 br 3471 | c117 br 3472 | c118 br 3473 | c119 br 3474 | c120 br 3475 | c121 br 3476 | c122 br 3477 | c123 br 3478 | c124 br 3479 | c125 br 3480 | c126 br 3481 | c127 br 3482 | c128 br 3483 | c129 br 3484 | c130 br 3485 | c131 br 3486 | c132 br 3487 | c133 br 3488 | c134 br 3489 | c135 br 3490 | c136 br 3491 | c137 br 3492 | c138 br 3493 | c139 br 3494 | c140 br 3495 | c141 br 3496 | c142 br 3497 | c143 br 3498 | c144 br 3499 | c145 br 3500 | c146 br 3501 | c147 br 3502 | c148 br 3503 | c149 br 3504 | c150 br 3505 | c151 br 3506 | c152 br 3507 | c153 br 3508 | c154 br 3509 | c155 br 3510 | c156 br 3511 | c157 br 3512 | c158 br 3513 | c159 br 3514 | c160 br 3515 | c161 br 3516 | c162 br 3517 | c163 br 3518 | c164 br 3519 | c165 br 3520 | c166 br 3521 | c167 br 3522 | c168 br 3523 | c169 br 3524 | c170 br 3525 | c171 br 3526 | c172 br 3527 | c173 br 3528 | c174 br 3529 | c175 br 3530 | c176 br 3531 | c177 br 3532 | c178 br 3533 | c179 br 3534 | c180 br 3535 | c181 br 3536 | c182 br 3537 | c183 br 3538 | c184 br 3539 | c185 br 3540 | c186 br 3541 | c187 br 3542 | c188 br 3543 | c189 br 3544 | c190 br 3545 | c191 br 3546 | c192 br 3547 | c193 br 3548 | c194 br 3549 | c195 br 3550 | c196 br 3551 | c197 br 3552 | c198 br 3553 | c199 br 3554 | c200 br 3555 | c201 br 3556 | c202 br 3557 | c203 br 3558 | c204 br 3559 | c205 br 3560 | c206 br 3561 | c207 br 3562 | c208 br 3563 | c209 br 3564 | c210 br 3565 | c211 br 3566 | c212 br 3567 | c213 br 3568 | c214 br 3569 | c215 br 3570 | c216 br 3571 | c217 br 3572 | c218 br 3573 | c219 br 3574 | c220 br 3575 | c221 br 3576 | c222 br 3577 | c223 br 3578 | c224 br 3579 | c225 br 3580 | c226 br 3581 | c227 br 3582 | c228 br 3583 | c229 br 3584 | c230 br 3585 | c231 br 3586 | c232 br 3587 | c233 br 3588 | c234 br 3589 | c235 br 3590 | c236 br 3591 | c237 br 3592 | c238 br 3593 | c239 br 3594 | c240 br 3595 | c241 br 3596 | c242 br 3597 | c243 br 3598 | c244 br 3599 | c245 br 3600 | c246 br 3601 | c247 br 3602 | c248 br 3603 | c249 br 3604 | c250 br 3605 | c251 br 3606 | c252 br 3607 | c253 br 3608 | c254 br 3609 | c255 br 3610 | outcome |
|---|
Independent-effect pairs
All 256 conditions live in wasmparser::binary_reader::BinaryReader::visit_operator — 1 br_table_default + 255 br_table_target
c0(branch3355): DEAD view gap →c1(branch3356): PROVEDc2(branch3357): PROVEDc3(branch3358): PROVEDc4(branch3359): DEAD view gap →c5(branch3360): DEAD view gap →c6(branch3361): DEAD view gap →c7(branch3362): DEAD view gap →c8(branch3363): DEAD view gap →c9(branch3364): DEAD view gap →c10(branch3365): DEAD view gap →c11(branch3366): PROVEDc12(branch3367): PROVEDc13(branch3368): PROVEDc14(branch3369): DEAD view gap →c15(branch3370): DEAD view gap →c16(branch3371): PROVEDc17(branch3372): PROVEDc18(branch3373): DEAD view gap →c19(branch3374): DEAD view gap →c20(branch3375): DEAD view gap →c21(branch3376): DEAD view gap →c22(branch3377): DEAD view gap →c23(branch3378): DEAD view gap →c24(branch3379): DEAD view gap →c25(branch3380): DEAD view gap →c26(branch3381): PROVEDc27(branch3382): PROVEDc28(branch3383): DEAD view gap →c29(branch3384): DEAD view gap →c30(branch3385): DEAD view gap →c31(branch3386): DEAD view gap →c32(branch3387): PROVEDc33(branch3388): PROVEDc34(branch3389): DEAD view gap →c35(branch3390): PROVEDc36(branch3391): PROVEDc37(branch3392): DEAD view gap →c38(branch3393): DEAD view gap →c39(branch3394): DEAD view gap →c40(branch3395): PROVEDc41(branch3396): DEAD view gap →c42(branch3397): DEAD view gap →c43(branch3398): DEAD view gap →c44(branch3399): DEAD view gap →c45(branch3400): DEAD view gap →c46(branch3401): DEAD view gap →c47(branch3402): DEAD view gap →c48(branch3403): DEAD view gap →c49(branch3404): DEAD view gap →c50(branch3405): DEAD view gap →c51(branch3406): DEAD view gap →c52(branch3407): DEAD view gap →c53(branch3408): DEAD view gap →c54(branch3409): DEAD view gap →c55(branch3410): DEAD view gap →c56(branch3411): DEAD view gap →c57(branch3412): DEAD view gap →c58(branch3413): DEAD view gap →c59(branch3414): DEAD view gap →c60(branch3415): DEAD view gap →c61(branch3416): DEAD view gap →c62(branch3417): DEAD view gap →c63(branch3418): DEAD view gap →c64(branch3419): DEAD view gap →c65(branch3420): PROVEDc66(branch3421): DEAD view gap →c67(branch3422): DEAD view gap →c68(branch3423): DEAD view gap →c69(branch3424): PROVEDc70(branch3425): DEAD view gap →c71(branch3426): DEAD view gap →c72(branch3427): DEAD view gap →c73(branch3428): PROVEDc74(branch3429): DEAD view gap →c75(branch3430): DEAD view gap →c76(branch3431): DEAD view gap →c77(branch3432): DEAD view gap →c78(branch3433): PROVEDc79(branch3434): DEAD view gap →c80(branch3435): DEAD view gap →c81(branch3436): DEAD view gap →c82(branch3437): DEAD view gap →c83(branch3438): DEAD view gap →c84(branch3439): DEAD view gap →c85(branch3440): DEAD view gap →c86(branch3441): DEAD view gap →c87(branch3442): DEAD view gap →c88(branch3443): DEAD view gap →c89(branch3444): DEAD view gap →c90(branch3445): DEAD view gap →c91(branch3446): DEAD view gap →c92(branch3447): DEAD view gap →c93(branch3448): DEAD view gap →c94(branch3449): DEAD view gap →c95(branch3450): DEAD view gap →c96(branch3451): DEAD view gap →c97(branch3452): DEAD view gap →c98(branch3453): DEAD view gap →c99(branch3454): DEAD view gap →c100(branch3455): DEAD view gap →c101(branch3456): DEAD view gap →c102(branch3457): DEAD view gap →c103(branch3458): DEAD view gap →c104(branch3459): DEAD view gap →c105(branch3460): DEAD view gap →c106(branch3461): PROVEDc107(branch3462): PROVEDc108(branch3463): PROVEDc109(branch3464): DEAD view gap →c110(branch3465): DEAD view gap →c111(branch3466): DEAD view gap →c112(branch3467): DEAD view gap →c113(branch3468): DEAD view gap →c114(branch3469): DEAD view gap →c115(branch3470): DEAD view gap →c116(branch3471): DEAD view gap →c117(branch3472): DEAD view gap →c118(branch3473): DEAD view gap →c119(branch3474): DEAD view gap →c120(branch3475): DEAD view gap →c121(branch3476): DEAD view gap →c122(branch3477): DEAD view gap →c123(branch3478): DEAD view gap →c124(branch3479): DEAD view gap →c125(branch3480): DEAD view gap →c126(branch3481): DEAD view gap →c127(branch3482): DEAD view gap →c128(branch3483): DEAD view gap →c129(branch3484): DEAD view gap →c130(branch3485): DEAD view gap →c131(branch3486): DEAD view gap →c132(branch3487): DEAD view gap →c133(branch3488): DEAD view gap →c134(branch3489): DEAD view gap →c135(branch3490): DEAD view gap →c136(branch3491): DEAD view gap →c137(branch3492): DEAD view gap →c138(branch3493): DEAD view gap →c139(branch3494): DEAD view gap →c140(branch3495): DEAD view gap →c141(branch3496): DEAD view gap →c142(branch3497): DEAD view gap →c143(branch3498): DEAD view gap →c144(branch3499): DEAD view gap →c145(branch3500): DEAD view gap →c146(branch3501): DEAD view gap →c147(branch3502): DEAD view gap →c148(branch3503): DEAD view gap →c149(branch3504): DEAD view gap →c150(branch3505): DEAD view gap →c151(branch3506): DEAD view gap →c152(branch3507): DEAD view gap →c153(branch3508): DEAD view gap →c154(branch3509): DEAD view gap →c155(branch3510): DEAD view gap →c156(branch3511): DEAD view gap →c157(branch3512): DEAD view gap →c158(branch3513): DEAD view gap →c159(branch3514): DEAD view gap →c160(branch3515): DEAD view gap →c161(branch3516): DEAD view gap →c162(branch3517): DEAD view gap →c163(branch3518): DEAD view gap →c164(branch3519): DEAD view gap →c165(branch3520): DEAD view gap →c166(branch3521): DEAD view gap →c167(branch3522): DEAD view gap →c168(branch3523): DEAD view gap →c169(branch3524): DEAD view gap →c170(branch3525): DEAD view gap →c171(branch3526): DEAD view gap →c172(branch3527): DEAD view gap →c173(branch3528): DEAD view gap →c174(branch3529): DEAD view gap →c175(branch3530): DEAD view gap →c176(branch3531): DEAD view gap →c177(branch3532): DEAD view gap →c178(branch3533): DEAD view gap →c179(branch3534): DEAD view gap →c180(branch3535): DEAD view gap →c181(branch3536): DEAD view gap →c182(branch3537): DEAD view gap →c183(branch3538): DEAD view gap →c184(branch3539): DEAD view gap →c185(branch3540): DEAD view gap →c186(branch3541): DEAD view gap →c187(branch3542): DEAD view gap →c188(branch3543): DEAD view gap →c189(branch3544): DEAD view gap →c190(branch3545): DEAD view gap →c191(branch3546): DEAD view gap →c192(branch3547): DEAD view gap →c193(branch3548): DEAD view gap →c194(branch3549): DEAD view gap →c195(branch3550): DEAD view gap →c196(branch3551): DEAD view gap →c197(branch3552): DEAD view gap →c198(branch3553): DEAD view gap →c199(branch3554): DEAD view gap →c200(branch3555): DEAD view gap →c201(branch3556): DEAD view gap →c202(branch3557): DEAD view gap →c203(branch3558): DEAD view gap →c204(branch3559): DEAD view gap →c205(branch3560): DEAD view gap →c206(branch3561): DEAD view gap →c207(branch3562): DEAD view gap →c208(branch3563): DEAD view gap →c209(branch3564): DEAD view gap →c210(branch3565): DEAD view gap →c211(branch3566): DEAD view gap →c212(branch3567): DEAD view gap →c213(branch3568): DEAD view gap →c214(branch3569): DEAD view gap →c215(branch3570): DEAD view gap →c216(branch3571): DEAD view gap →c217(branch3572): DEAD view gap →c218(branch3573): DEAD view gap →c219(branch3574): DEAD view gap →c220(branch3575): DEAD view gap →c221(branch3576): DEAD view gap →c222(branch3577): DEAD view gap →c223(branch3578): DEAD view gap →c224(branch3579): DEAD view gap →c225(branch3580): DEAD view gap →c226(branch3581): DEAD view gap →c227(branch3582): DEAD view gap →c228(branch3583): DEAD view gap →c229(branch3584): DEAD view gap →c230(branch3585): DEAD view gap →c231(branch3586): DEAD view gap →c232(branch3587): DEAD view gap →c233(branch3588): DEAD view gap →c234(branch3589): DEAD view gap →c235(branch3590): DEAD view gap →c236(branch3591): DEAD view gap →c237(branch3592): DEAD view gap →c238(branch3593): DEAD view gap →c239(branch3594): DEAD view gap →c240(branch3595): DEAD view gap →c241(branch3596): DEAD view gap →c242(branch3597): DEAD view gap →c243(branch3598): DEAD view gap →c244(branch3599): DEAD view gap →c245(branch3600): DEAD view gap →c246(branch3601): DEAD view gap →c247(branch3602): DEAD view gap →c248(branch3603): DEAD view gap →c249(branch3604): DEAD view gap →c250(branch3605): DEAD view gap →c251(branch3606): DEAD view gap →c252(branch3607): DEAD view gap →c253(branch3608): DEAD view gap →c254(branch3609): DEAD view gap →c255(branch3610): DEAD view gap →