Decision #562 — binary_reader.rs:1892

Status: unreached

Truth table

rowc0 br 4223c1 br 4224c2 br 4225c3 br 4226c4 br 4227c5 br 4228c6 br 4229c7 br 4230c8 br 4231c9 br 4232c10 br 4233c11 br 4234c12 br 4235c13 br 4236c14 br 4237c15 br 4238c16 br 4239c17 br 4240c18 br 4241c19 br 4242c20 br 4243c21 br 4244c22 br 4245c23 br 4246c24 br 4247c25 br 4248c26 br 4249c27 br 4250c28 br 4251c29 br 4252c30 br 4253c31 br 4254c32 br 4255outcome

Independent-effect pairs

All 33 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 33 br_if