Decision #1603 — `library/alloc/src/vec/mod.rs:462`

Status: partial

Truth table

row	c0 br 1710	c1 br 1711	c2 br 1712	outcome

Independent-effect pairs

c0 (branch 1710): DEAD view gap →
<scry_bits::BitsCong>::reduce · br_table_target
inlined: lib.rs:6299
c1 (branch 1711): PROVED
<scry_bits::BitsCong>::reduce · br_table_target
inlined: lib.rs:6299
c2 (branch 1712): DEAD view gap →
<scry_bits::BitsCong>::reduce · br_table_default
inlined: lib.rs:6299

← back to scry-mcdc