Decision #1635 — `library/core/src/num/uint_macros.rs:1052`

Status: partial

Truth table

row	c0 br 3813	c1 br 3814	c2 br 3815	c3 br 3816	c4 br 3817	c5 br 3818	outcome

Independent-effect pairs

All 6 conditions live in scry_analyze_core::stamp_obligation_ids — 1 br_table_default + 5 br_table_target

c0 (branch 3813): PROVED
c1 (branch 3814): PROVED
c2 (branch 3815): DEAD view gap →
c3 (branch 3816): DEAD view gap →
c4 (branch 3817): PROVED
c5 (branch 3818): PROVED

← back to scry-mcdc