Decision #1018 — library/core/src/result.rs:2175
Status: no_witness
Truth table
| row | c0 br 7241 | c1 br 7245 | outcome |
|---|---|---|---|
| 89814 | T | F | F |
| 89815 | T | F | F |
| 89816 | T | F | F |
| 89817 | T | F | F |
| 89818 | T | F | F |
| 89819 | T | F | F |
| 89820 | T | F | F |
| 89821 | T | F | F |
| 94082 | T | F | F |
| 94083 | T | F | F |
| 94084 | T | F | F |
| 94085 | T | F | F |
| 94086 | T | F | F |
| 94087 | T | F | F |
| 94088 | T | F | F |
| 94089 | T | F | F |
Independent-effect pairs
c0(branch7241): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_var_i32_big· br_ifc1(branch7245): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_var_i32_big· br_if