Decision #743 — binary_reader.rs:838
Status: no_witness
Truth table
| row | c0 br 5333 | c1 br 5334 | outcome |
|---|---|---|---|
| 41745 | T | * | T |
| 41746 | T | * | T |
| 41747 | T | * | T |
| 44794 | T | * | T |
| 44795 | T | * | T |
| 44796 | T | * | T |
| 48236 | T | * | T |
| 48237 | T | * | T |
| 48238 | T | * | T |
| 51285 | T | * | T |
| 51286 | T | * | T |
| 51287 | T | * | T |
| 79992 | T | * | T |
| 79993 | T | * | T |
| 79994 | T | * | T |
| 84821 | T | * | T |
| 86799 | T | * | T |
| 86800 | T | * | T |
| 86801 | T | * | T |
| 88149 | T | * | T |
| 90079 | T | * | T |
| 90080 | T | * | T |
| 91577 | T | * | T |
Independent-effect pairs
c0(branch5333): GAP view gap →<wasmparser::readers::core::names::Naming as wasmparser::readers::FromReader>::from_reader· br_ifc1(branch5334): DEAD view gap →<wasmparser::readers::core::names::Naming as wasmparser::readers::FromReader>::from_reader· br_if