Decision #960 — `library/core/src/result.rs:2175`

Status: partial

Truth table

row	c0 br 650	c1 br 651	c2 br 652	outcome

Independent-effect pairs

c0 (branch 650): PROVED
scry_analyze_core::Interp::seq · br_table_target
inlined: lib.rs:2639
c1 (branch 651): PROVED
scry_analyze_core::Interp::seq · br_table_target
inlined: lib.rs:2639
c2 (branch 652): DEAD view gap →
scry_analyze_core::Interp::seq · br_table_default
inlined: lib.rs:2639

← back to scry-mcdc