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

Status: partial

Truth table

row	c0 br 3948	c1 br 3949	c2 br 3950	c3 br 3951	outcome

Independent-effect pairs

c0 (branch 3948): PROVED
scry_analyze_core::i32_binop · br_table_target
inlined: lib.rs:4107
c1 (branch 3949): DEAD view gap →
scry_analyze_core::i32_binop · br_table_target
inlined: lib.rs:4107
c2 (branch 3950): DEAD view gap →
scry_analyze_core::i32_binop · br_table_target
inlined: lib.rs:4107
c3 (branch 3951): DEAD view gap →
scry_analyze_core::i32_binop · br_table_default
inlined: lib.rs:4107

← back to scry-mcdc