Decision #117 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 700 | c1 br 701 | outcome |
|---|---|---|---|
| 90816 | T | * | T |
| 90817 | T | * | T |
Independent-effect pairs
c0(branch700): GAP view gap →scry_analyze_core::Interp::seq· br_ifc1(branch701): DEAD view gap →scry_analyze_core::Interp::seq· br_if