Decision #1142 — library/core/src/result.rs:2176

Status: unreached

Truth table

rowc0 br 7397c1 br 7517c2 br 7520c3 br 7523c4 br 7526c5 br 7529c6 br 7532c7 br 7535c8 br 7538c9 br 7541c10 br 7544c11 br 7547c12 br 7550c13 br 7553c14 br 7556c15 br 7559c16 br 7562c17 br 7565c18 br 7568c19 br 7595c20 br 7598c21 br 7601c22 br 7604c23 br 7606c24 br 7607c25 br 7609c26 br 7610c27 br 7611c28 br 7612c29 br 7613c30 br 7614c31 br 7615c32 br 7616c33 br 7617c34 br 7618c35 br 7619c36 br 7620c37 br 7621c38 br 7622c39 br 7623c40 br 7624c41 br 7625c42 br 7626c43 br 7627c44 br 7628c45 br 7629c46 br 7632c47 br 7635c48 br 7638c49 br 7641c50 br 7644outcome

Independent-effect pairs

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