Decision #1256 — types.rs:373
Status: partial
Truth table
| row | c0 br 8482 | c1 br 8483 | c2 br 8484 | outcome |
|---|---|---|---|---|
| 160237 | T | T | T | T |
| 160238 | T | T | T | T |
| 160239 | T | T | T | T |
| 160240 | T | T | T | T |
| 160241 | T | T | T | T |
| 160242 | T | T | T | T |
| 160243 | T | T | T | T |
| 160244 | T | T | T | T |
| 160245 | T | F | * | F |
| 160246 | T | F | * | F |
| 160247 | T | F | * | F |
| 160248 | T | F | * | F |
| 170095 | T | T | T | T |
| 170096 | T | T | T | T |
| 170097 | T | T | T | T |
| 170098 | T | T | T | T |
| 170099 | T | T | T | T |
| 170100 | T | T | T | T |
| 170101 | T | T | T | T |
| 170102 | T | T | T | T |
| 170103 | T | F | * | F |
| 170104 | T | F | * | F |
| 170105 | T | F | * | F |
| 170106 | T | F | * | F |
| 192329 | T | F | * | F |
| 192330 | T | F | * | F |
| 192331 | T | F | * | F |
| 198356 | T | F | * | F |
| 198357 | T | F | * | F |
| 198358 | T | F | * | F |
| 204183 | T | F | * | F |
| 204184 | T | F | * | F |
| 204185 | T | F | * | F |
| 209465 | T | F | * | F |
| 209466 | T | F | * | F |
| 209467 | T | F | * | F |
| 209468 | T | F | * | F |
| 209469 | T | F | * | F |
| 209470 | T | F | * | F |
| 217127 | T | F | * | F |
| 217128 | T | F | * | F |
| 217129 | T | F | * | F |
Independent-effect pairs
All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::read_var_i32_big — 3 br_if
c0(branch8482): GAP view gap →c1(branch8483): PROVED — pair rows160237,160245(masking)c2(branch8484): GAP view gap →