Decision #1718 — binary_reader.rs:123

Status: partial

Truth table

rowc0 br 9004c1 br 9005c2 br 9006c3 br 9007c4 br 9008c5 br 9009c6 br 9010c7 br 9011c8 br 9012c9 br 9013c10 br 9014c11 br 9015c12 br 9016c13 br 9017c14 br 9018outcome

Independent-effect pairs

All 15 conditions live in <wasmparser::readers::core::types::AbstractHeapType as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 14 br_table_target