Decision #1620 — library/alloc/src/vec/mod.rs:1044
Status: partial
Truth table
| row | c0 br 2460 | c1 br 2461 | c2 br 2462 | c3 br 2798 | c4 br 2799 | c5 br 2800 | c6 br 2801 | outcome |
|---|
Independent-effect pairs
All 7 conditions live in <scry_analyze_core::Interp>::seq — 2 br_table_default + 5 br_table_target
c0(branch2460): PROVEDc1(branch2461): PROVEDc2(branch2462): DEAD view gap →c3(branch2798): PROVEDc4(branch2799): DEAD view gap →c5(branch2800): DEAD view gap →c6(branch2801): DEAD view gap →