Decision #361 — library/alloc/src/vec/mod.rs:1040
Status: no_witness
Truth table
| row | c0 br 2272 | c1 br 2275 | outcome |
|---|---|---|---|
| 111173 | * | T | T |
| 111174 | * | T | T |
| 111175 | * | T | T |
| 111176 | * | T | T |
Independent-effect pairs
c0(branch2272): DEAD view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2275): GAP view gap →<scry_analyze_core::Interp>::seq· br_if