Decision #118 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 710 | c1 br 711 | c2 br 715 | outcome |
|---|---|---|---|---|
| 90818 | F | T | F | F |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::Interp::seq — 3 br_if
c0(branch710): GAP view gap →c1(branch711): GAP view gap →c2(branch715): GAP view gap →