Decision #1279 — globals.rs:50
Status: no_witness
Truth table
| row | c0 br 8622 | c1 br 8623 | outcome |
|---|---|---|---|
| 94181 | F | T | T |
| 94182 | F | T | T |
| 94183 | F | T | T |
| 102042 | F | T | T |
| 102043 | F | T | T |
| 102044 | F | T | T |
| 110523 | F | T | T |
| 110524 | F | T | T |
| 110525 | F | T | T |
| 118525 | F | T | T |
| 118526 | F | T | T |
| 118527 | F | T | T |
| 177625 | F | T | T |
| 177626 | F | T | T |
| 177627 | F | T | T |
| 192623 | F | T | T |
| 199107 | F | T | T |
| 199108 | F | T | T |
| 199109 | F | T | T |
| 204412 | F | T | T |
| 210027 | F | T | T |
| 210028 | F | T | T |
| 217503 | F | T | T |
Independent-effect pairs
c0(branch8622): GAP view gap →<wasmparser::readers::core::names::Naming as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch8623): GAP view gap →<wasmparser::readers::core::names::Naming as wasmparser::readers::FromReader>::from_reader· br_if