Decision #1703 — `library/core/src/result.rs:2192`

Status: partial

Truth table

row	c0 br 8591	c1 br 8592	c2 br 8593	outcome

c0 (branch 8591): PROVED
<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader · br_table_target
inlined: tables.rs:89 ← binary_reader.rs:484
c1 (branch 8592): DEAD view gap →
<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader · br_table_target
inlined: tables.rs:89 ← binary_reader.rs:484
c2 (branch 8593): PROVED
<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader · br_table_default
inlined: tables.rs:89 ← binary_reader.rs:484