Decision #419 — library/alloc/src/raw_vec/mod.rs:443
Status: no_witness
Truth table
| row | c0 br 2772 | c1 br 2773 | c2 br 2774 | c3 br 2775 | c4 br 2776 | c5 br 2777 | outcome |
|---|---|---|---|---|---|---|---|
| 91693 | * | * | * | F | F | F | T |
| 91694 | * | * | F | F | F | F | T |
| 99470 | * | * | * | F | F | F | T |
| 99471 | * | * | F | F | F | F | T |
| 107959 | * | * | * | F | F | F | T |
| 107960 | * | * | F | F | F | F | T |
| 116037 | * | * | * | F | F | F | T |
| 116038 | * | * | F | F | F | F | T |
| 196022 | * | * | F | * | * | * | T |
| 196023 | * | * | F | * | * | * | T |
| 196024 | * | * | F | * | * | * | T |
| 196025 | * | * | F | * | * | * | T |
| 215398 | * | * | F | * | * | * | T |
Independent-effect pairs
All 6 conditions live in <scry_analyze_core::Interp>::seq — 6 br_if
c0(branch2772): DEAD view gap →c1(branch2773): DEAD view gap →c2(branch2774): GAP view gap →c3(branch2775): GAP view gap →c4(branch2776): GAP view gap →c5(branch2777): GAP view gap →