Decision #1350 — `library/core/src/cmp.rs:1078`

Status: partial

Truth table

row	c0 br 1559	c1 br 1560	c2 br 1561	outcome

Independent-effect pairs

c0 (branch 1559): PROVED
scry_analyze_core::top_input_locals · br_table_target
inlined: src/lib.rs:928
c1 (branch 1560): DEAD view gap →
scry_analyze_core::top_input_locals · br_table_target
inlined: src/lib.rs:928
c2 (branch 1561): DEAD view gap →
scry_analyze_core::top_input_locals · br_table_default
inlined: src/lib.rs:928

← back to scry-mcdc