Decision #1061 — binary_reader.rs:93

Status: unreached

Truth table

Independent-effect pairs

• c0 (branch 7479): DEAD view gap →
  <wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader · br_if
  inlined: memories.rs:24 ← binary_reader.rs:422 ← binary_reader.rs:430
• c1 (branch 7480): DEAD view gap →
  <wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader · br_if
  inlined: memories.rs:24 ← binary_reader.rs:422 ← binary_reader.rs:430

← back to scry-mcdc