Decision #1394 — `library/core/src/result.rs:2174`

Status: partial

Truth table

row	c0 br 3953	c1 br 3954	c2 br 3955	c3 br 3956	outcome

Independent-effect pairs

c0 (branch 3953): PROVED
scry_analyze_core::i32_binop · br_table_target
inlined: lib.rs:4107
c1 (branch 3954): DEAD view gap →
scry_analyze_core::i32_binop · br_table_target
inlined: lib.rs:4107
c2 (branch 3955): DEAD view gap →
scry_analyze_core::i32_binop · br_table_target
inlined: lib.rs:4107
c3 (branch 3956): DEAD view gap →
scry_analyze_core::i32_binop · br_table_default
inlined: lib.rs:4107

← back to scry-mcdc