Decision #814 — binary_reader.rs:285
Status: no_witness
Truth table
| row | c0 br 5388 | c1 br 5389 | c2 br 5390 | outcome |
|---|---|---|---|---|
| 49036 | F | F | T | T |
| 49037 | F | F | T | T |
| 53237 | F | F | T | T |
| 53238 | F | F | T | T |
| 57767 | F | F | T | T |
| 57768 | F | F | T | T |
| 61960 | F | F | T | T |
| 61961 | F | F | T | T |
| 96586 | F | F | T | T |
| 96587 | F | F | T | T |
| 103337 | F | F | T | T |
| 103338 | F | F | T | T |
| 106989 | F | F | T | T |
| 106990 | F | F | T | T |
| 109518 | F | F | T | T |
| 109519 | F | F | T | T |
| 112454 | F | F | T | T |
| 112455 | F | F | T | T |
| 115391 | F | F | T | T |
| 115392 | F | F | T | T |
Independent-effect pairs
c0(branch5388): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::core::custom::CustomSectionReader>::{closure#0}>· br_if
inlined: imports.rs:185c1(branch5389): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::core::custom::CustomSectionReader>::{closure#0}>· br_if
inlined: imports.rs:185c2(branch5390): GAP view gap →<wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::core::custom::CustomSectionReader>::{closure#0}>· br_if
inlined: imports.rs:185