Decision #603 — library/core/src/num/uint_macros.rs:977
Status: no_witness
Truth table
| row | c0 br 4521 | c1 br 4524 | outcome |
|---|---|---|---|
| 41165 | F | T | T |
| 41166 | F | T | T |
| 44178 | F | T | T |
| 44179 | F | T | T |
| 47630 | F | T | T |
| 47631 | F | T | T |
| 50705 | F | T | T |
| 50706 | F | T | T |
| 79587 | F | T | T |
| 79588 | F | T | T |
| 84536 | F | T | T |
| 84537 | F | T | T |
| 86386 | F | T | T |
| 86387 | F | T | T |
| 87867 | F | T | T |
| 87868 | F | T | T |
| 89724 | F | T | T |
| 89725 | F | T | T |
| 91270 | F | T | T |
| 91271 | F | T | T |
Independent-effect pairs
c0(branch4521): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4524): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if