Decision #801 — library/core/src/num/uint_macros.rs:1050
Status: no_witness
Truth table
| row | c0 br 5326 | c1 br 5327 | c2 br 5329 | outcome |
|---|---|---|---|---|
| 98359 | F | T | F | T |
| 98360 | F | T | F | T |
| 99874 | F | T | F | T |
| 99875 | F | T | F | T |
| 101292 | F | T | F | T |
| 101293 | F | T | F | T |
Independent-effect pairs
c0(branch5326): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>::{closure#0}>· br_if
inlined: library/core/src/slice/index.rs:437c1(branch5327): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>::{closure#0}>· br_ifc2(branch5329): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>::{closure#0}>· br_if