Decision #426 — library/alloc/src/vec/mod.rs:462

Status: unreached

Truth table

Independent-effect pairs

• c0 (branch 2539): DEAD view gap →
  <scry_analyze_core::Interp>::seq · br_if
  inlined: lib.rs:5290 ← lib.rs:1527
• c1 (branch 2540): DEAD view gap →
  <scry_analyze_core::Interp>::seq · br_if

← back to scry-mcdc