Decision #610 — library/core/src/num/uint_macros.rs:977
Status: no_witness
Truth table
| row | c0 br 4535 | c1 br 4536 | outcome |
|---|---|---|---|
| 1171 | T | F | F |
| 4211 | T | F | F |
| 7160 | T | F | F |
Independent-effect pairs
c0(branch4535): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4536): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if