Decision #397 — library/alloc/src/vec/mod.rs:1041
Status: no_witness
Truth table
| row | c0 br 2502 | c1 br 2505 | c2 br 2506 | outcome |
|---|---|---|---|---|
| 95943 | T | * | * | T |
| 95944 | T | * | * | T |
| 95945 | T | * | * | T |
| 95946 | T | * | * | T |
| 111357 | T | * | * | T |
| 111358 | T | * | * | T |
| 111359 | T | * | * | T |
| 111360 | T | * | * | T |
| 114389 | F | T | * | T |
| 114390 | F | T | * | T |
Independent-effect pairs
All 3 conditions live in <scry_analyze_core::FuncCtx>::scrub_to_top — 3 br_if
c0(branch2502): GAP view gap →c1(branch2505): GAP view gap →c2(branch2506): DEAD view gap →