Decision #1578 — `lib.rs:87`

Status: partial

Truth table

row	c0 br 21	c1 br 22	c2 br 23	c3 br 24	c4 br 25	outcome

c0 (branch 21): PROVED
scry_mcdc::drive · br_table_target
inlined: lib.rs:293
c1 (branch 22): DEAD view gap →
scry_mcdc::drive · br_table_target
inlined: lib.rs:293
c2 (branch 23): DEAD view gap →
scry_mcdc::drive · br_table_target
inlined: lib.rs:293
c3 (branch 24): DEAD view gap →
scry_mcdc::drive · br_table_target
inlined: lib.rs:293
c4 (branch 25): DEAD view gap →
scry_mcdc::drive · br_table_default
inlined: lib.rs:293