Decision #1013 — `library/core/src/result.rs:2191`

Status: partial

Truth table

row	c0 br 4616	c1 br 4617	c2 br 4618	outcome

Independent-effect pairs

c0 (branch 4616): PROVED
wasmparser::parser::Parser::parse_reader · br_table_target
inlined: binary_reader.rs:443
c1 (branch 4617): PROVED
wasmparser::parser::Parser::parse_reader · br_table_target
inlined: binary_reader.rs:443
c2 (branch 4618): DEAD view gap →
wasmparser::parser::Parser::parse_reader · br_table_default
inlined: binary_reader.rs:443

← back to scry-mcdc