Decision #1028 — binary_reader.rs:444
Status: no_witness
Truth table
| row | c0 br 7304 | c1 br 7305 | outcome |
|---|---|---|---|
| 2159 | T | * | T |
| 2160 | T | * | T |
| 5950 | T | * | T |
| 5951 | T | * | T |
| 9731 | T | * | T |
| 9732 | T | * | T |
| 12469 | T | * | T |
| 13843 | T | * | T |
| 15170 | T | * | T |
| 22605 | T | * | T |
| 32083 | T | * | T |
| 38402 | T | * | T |
| 44615 | T | * | T |
| 49272 | T | * | T |
| 49273 | T | * | T |
| 53473 | T | * | T |
| 53474 | T | * | T |
| 58003 | T | * | T |
| 58004 | T | * | T |
| 62196 | T | * | T |
| 62197 | T | * | T |
| 72725 | T | * | T |
| 84238 | T | * | T |
| 89822 | T | * | T |
| 94090 | T | * | T |
| 96789 | T | * | T |
| 98549 | T | * | T |
| 100064 | T | * | T |
| 101482 | T | * | T |
| 103570 | T | * | T |
| 107292 | T | * | T |
| 109743 | T | * | T |
| 112771 | T | * | T |
| 115645 | T | * | T |
| 135441 | T | * | T |
| 158377 | T | * | T |
| 163794 | T | * | T |
| 165375 | T | * | T |
| 167095 | T | * | T |
Independent-effect pairs
c0(branch7304): GAP view gap →wasmparser::readers::core::types::read_composite_type· br_ifc1(branch7305): DEAD view gap →wasmparser::readers::core::types::read_composite_type· br_if