Decision #1017 — binary_reader.rs:444
Status: partial
Truth table
| row | c0 br 7235 | c1 br 7236 | outcome |
|---|---|---|---|
| 2155 | F | * | F |
| 2156 | F | * | F |
| 2157 | F | * | F |
| 5946 | F | * | F |
| 5947 | F | * | F |
| 5948 | F | * | F |
| 9727 | F | * | F |
| 9728 | F | * | F |
| 9729 | F | * | F |
| 89802 | T | T | T |
| 89803 | T | T | T |
| 89804 | T | T | T |
| 89805 | T | T | T |
| 89806 | T | T | T |
| 89807 | T | T | T |
| 89808 | T | T | T |
| 89809 | T | T | T |
| 89810 | T | T | T |
| 89811 | T | T | T |
| 89812 | T | T | T |
| 89813 | T | T | T |
| 94070 | T | T | T |
| 94071 | T | T | T |
| 94072 | T | T | T |
| 94073 | T | T | T |
| 94074 | T | T | T |
| 94075 | T | T | T |
| 94076 | T | T | T |
| 94077 | T | T | T |
| 94078 | T | T | T |
| 94079 | T | T | T |
| 94080 | T | T | T |
| 94081 | T | T | T |
| 98548 | F | * | F |
| 100063 | F | * | F |
| 101481 | F | * | F |
| 103567 | T | T | T |
| 103568 | T | T | T |
| 103569 | T | T | T |
| 107289 | T | T | T |
| 107290 | T | T | T |
| 107291 | T | T | T |
| 109740 | T | T | T |
| 109741 | T | T | T |
| 109742 | T | T | T |
| 112765 | T | T | T |
| 112766 | T | T | T |
| 112767 | T | T | T |
| 112768 | T | T | T |
| 112769 | T | T | T |
| 112770 | T | T | T |
| 115642 | T | T | T |
| 115643 | T | T | T |
| 115644 | T | T | T |
Independent-effect pairs
c0(branch7235): PROVED — pair rows2155,89802(masking)<wasmparser::binary_reader::BinaryReader>::read_var_i32_big· br_ifc1(branch7236): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_var_i32_big· br_if