Decision #1044 — globals.rs:33
Status: no_witness
Truth table
| row | c0 br 7363 | c1 br 7364 | outcome |
|---|---|---|---|
| 49292 | T | F | F |
| 49293 | T | F | F |
| 49294 | T | F | F |
| 53493 | T | F | F |
| 53494 | T | F | F |
| 53495 | T | F | F |
| 58023 | T | F | F |
| 58024 | T | F | F |
| 58025 | T | F | F |
| 62216 | T | F | F |
| 62217 | T | F | F |
| 62218 | T | F | F |
| 96798 | T | F | F |
| 96799 | T | F | F |
| 96800 | T | F | F |
| 103580 | T | F | F |
| 107302 | T | F | F |
| 107303 | T | F | F |
| 107304 | T | F | F |
| 109753 | T | F | F |
| 112781 | T | F | F |
| 112782 | T | F | F |
| 115655 | T | F | F |
Independent-effect pairs
c0(branch7363): GAP view gap →<wasmparser::readers::core::names::Naming as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch7364): GAP view gap →<wasmparser::readers::core::names::Naming as wasmparser::readers::FromReader>::from_reader· br_if