Decision #417 — library/alloc/src/raw_vec/mod.rs:435
Status: no_witness
Truth table
| row | c0 br 2528 | c1 br 2533 | c2 br 2543 | outcome |
|---|---|---|---|---|
| 30324 | * | T | * | T |
| 30325 | * | T | * | T |
| 51179 | * | T | * | T |
| 51180 | * | T | * | T |
| 71846 | * | T | * | T |
| 71847 | * | T | * | T |
| 81729 | * | T | * | T |
| 81730 | * | T | * | T |
| 123894 | * | T | * | T |
| 123895 | * | T | * | T |
| 140613 | * | T | * | T |
| 140614 | * | T | * | T |
| 223347 | * | T | * | T |
| 223348 | * | T | * | T |
| 300724 | * | T | * | T |
| 300725 | * | T | * | T |
Independent-effect pairs
All 3 conditions live in <scry_analyze_core::Interp>::seq — 3 br_if
c0(branch2528): DEAD view gap →c1(branch2533): GAP view gap →c2(branch2543): DEAD view gap →