Decision #1063 — binary_reader.rs:915
Status: no_witness
Truth table
| row | c0 br 6695 | c1 br 6696 | c2 br 6697 | c3 br 6698 | c4 br 6699 | c5 br 6700 | c6 br 6701 | c7 br 6702 | c8 br 6703 | c9 br 6704 | c10 br 6705 | c11 br 6706 | c12 br 6707 | c13 br 6708 | c14 br 6709 | c15 br 6710 | c16 br 6711 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2308 | T | F | T | F | T | F | T | F | T | * | * | * | * | * | * | * | * | T |
| 2309 | * | * | * | * | T | F | T | F | T | * | * | * | * | * | * | * | * | T |
| 2310 | * | * | * | * | T | F | T | F | T | * | * | * | * | * | * | * | * | T |
| 2311 | * | * | * | * | F | * | * | * | * | * | * | * | * | T | T | F | F | T |
| 9267 | T | F | T | F | T | F | T | F | T | * | * | * | * | * | * | * | * | T |
| 9268 | * | * | * | * | T | F | T | F | T | * | * | * | * | * | * | * | * | T |
| 9269 | * | * | * | * | T | F | T | F | T | * | * | * | * | * | * | * | * | T |
| 9270 | * | * | * | * | F | * | * | * | * | * | * | * | * | T | T | F | F | T |
| 16073 | T | F | T | F | T | F | T | F | T | * | * | * | * | * | * | * | * | T |
| 16074 | * | * | * | * | T | F | T | F | T | * | * | * | * | * | * | * | * | T |
| 16075 | * | * | * | * | T | F | T | F | T | * | * | * | * | * | * | * | * | T |
| 16076 | * | * | * | * | F | * | * | * | * | * | * | * | * | T | T | F | F | T |
Independent-effect pairs
All 17 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader::{closure#0}> — 17 br_if
c0(branch6695): GAP view gap →c1(branch6696): GAP view gap →c2(branch6697): GAP view gap →c3(branch6698): GAP view gap →c4(branch6699): GAP view gap →c5(branch6700): GAP view gap →c6(branch6701): GAP view gap →c7(branch6702): GAP view gap →c8(branch6703): GAP view gap →c9(branch6704): DEAD view gap →c10(branch6705): DEAD view gap →c11(branch6706): DEAD view gap →c12(branch6707): DEAD view gap →c13(branch6708): GAP view gap →c14(branch6709): GAP view gap →c15(branch6710): GAP view gap →c16(branch6711): GAP view gap →