Decision #985 — `library/core/src/result.rs:2189`

Status: partial

Truth table

row	c0 br 2128	c1 br 2129	c2 br 2130	c3 br 2131	outcome

Independent-effect pairs

c0 (branch 2128): PROVED
scry_analyze_core::analyze · br_table_target
inlined: lib.rs:1089
c1 (branch 2129): DEAD view gap →
scry_analyze_core::analyze · br_table_target
inlined: lib.rs:1089
c2 (branch 2130): PROVED
scry_analyze_core::analyze · br_table_target
inlined: lib.rs:1089
c3 (branch 2131): DEAD view gap →
scry_analyze_core::analyze · br_table_default
inlined: lib.rs:1089

← back to scry-mcdc