Decision #1278 — globals.rs:39
Status: no_witness
Truth table
| row | c0 br 8617 | c1 br 8621 | outcome |
|---|---|---|---|
| 94178 | T | T | T |
| 94179 | T | T | T |
| 94180 | T | T | T |
| 102039 | T | T | T |
| 102040 | T | T | T |
| 102041 | T | T | T |
| 110520 | T | T | T |
| 110521 | T | T | T |
| 110522 | T | T | T |
| 118522 | T | T | T |
| 118523 | T | T | T |
| 118524 | T | T | T |
| 177622 | T | T | T |
| 177623 | T | T | T |
| 177624 | T | T | T |
| 192622 | T | T | T |
| 199104 | T | T | T |
| 199105 | T | T | T |
| 199106 | T | T | T |
| 204411 | T | T | T |
| 210025 | T | T | T |
| 210026 | T | T | T |
| 217502 | T | T | T |
Independent-effect pairs
c0(branch8617): GAP view gap →<wasmparser::readers::core::names::Naming as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch8621): GAP view gap →<wasmparser::readers::core::names::Naming as wasmparser::readers::FromReader>::from_reader· br_if