Decision #1123 — binary_reader.rs:1842

Status: unreached

Truth table

rowc0 br 7373c1 br 7374c2 br 7376c3 br 7377c4 br 7379c5 br 7381c6 br 7382c7 br 7383c8 br 7384c9 br 7386c10 br 7387c11 br 7388c12 br 7389c13 br 7390c14 br 7391c15 br 7392c16 br 7394outcome

Independent-effect pairs

All 17 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfc_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 17 br_if