Decision #1382 — `lib.rs:1465`

Status: partial

Truth table

row	c0 br 3509	c1 br 3510	c2 br 3511	c3 br 3512	c4 br 3513	c5 br 3514	c6 br 3515	c7 br 3516	c8 br 3517	c9 br 3518	c10 br 3519	c11 br 3520	c12 br 3521	c13 br 3522	c14 br 3523	c15 br 3524	outcome

Independent-effect pairs

All 16 conditions live in scry_analyze_core::analyze — 1 br_table_default + 15 br_table_target

c0 (branch 3509): PROVED
c1 (branch 3510): DEAD view gap →
c2 (branch 3511): PROVED
c3 (branch 3512): PROVED
c4 (branch 3513): PROVED
c5 (branch 3514): DEAD view gap →
c6 (branch 3515): PROVED
c7 (branch 3516): PROVED
c8 (branch 3517): DEAD view gap →
c9 (branch 3518): PROVED
c10 (branch 3519): DEAD view gap →
c11 (branch 3520): DEAD view gap →
c12 (branch 3521): PROVED
c13 (branch 3522): PROVED
c14 (branch 3523): PROVED
c15 (branch 3524): PROVED

← back to scry-mcdc