Decision #1011 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 7209 | c1 br 7210 | outcome |
|---|---|---|---|
| 2145 | F | * | F |
| 2146 | F | * | F |
| 2147 | F | * | F |
| 2148 | F | * | F |
| 2149 | F | * | F |
| 5936 | F | * | F |
| 5937 | F | * | F |
| 5938 | F | * | F |
| 5939 | F | * | F |
| 5940 | F | * | F |
| 9717 | F | * | F |
| 9718 | F | * | F |
| 9719 | F | * | F |
| 9720 | F | * | F |
| 9721 | F | * | F |
| 12467 | F | * | F |
| 13841 | F | * | F |
| 15168 | F | * | F |
| 22599 | T | F | F |
| 22600 | F | * | F |
| 32077 | T | F | F |
| 32078 | F | * | F |
| 38396 | T | F | F |
| 38397 | F | * | F |
| 44609 | T | F | F |
| 44610 | F | * | F |
| 49266 | F | * | F |
| 49267 | F | * | F |
| 49268 | F | * | F |
| 53467 | F | * | F |
| 53468 | F | * | F |
| 53469 | F | * | F |
| 57997 | F | * | F |
| 57998 | F | * | F |
| 57999 | F | * | F |
| 62190 | F | * | F |
| 62191 | F | * | F |
| 62192 | F | * | F |
| 72719 | T | F | F |
| 72720 | F | * | F |
| 84232 | T | F | F |
| 84233 | F | * | F |
| 89790 | F | * | F |
| 89791 | F | * | F |
| 89792 | F | * | F |
| 89793 | F | * | F |
| 89794 | F | * | F |
| 89795 | F | * | F |
| 94058 | F | * | F |
| 94059 | F | * | F |
| 94060 | F | * | F |
| 94061 | F | * | F |
| 94062 | F | * | F |
| 94063 | F | * | F |
| 96783 | F | * | F |
| 96784 | F | * | F |
| 96785 | F | * | F |
| 98546 | F | * | F |
| 100061 | F | * | F |
| 101479 | F | * | F |
| 103565 | F | * | F |
| 107283 | F | * | F |
| 107284 | F | * | F |
| 107285 | F | * | F |
| 109738 | F | * | F |
| 112761 | F | * | F |
| 112762 | F | * | F |
| 115640 | F | * | F |
| 135435 | T | F | F |
| 135436 | F | * | F |
| 158371 | T | F | F |
| 158372 | F | * | F |
| 163792 | F | * | F |
| 165373 | F | * | F |
| 167093 | F | * | F |
Independent-effect pairs
c0(branch7209): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_ifc1(branch7210): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators· br_if