Decision #429 — library/alloc/src/vec/mod.rs:1044
Status: no_witness
Truth table
| row | c0 br 2787 | c1 br 2788 | c2 br 2789 | c3 br 2792 | c4 br 2796 | c5 br 2797 | c6 br 2802 | c7 br 2803 | c8 br 2804 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|
| 916 | * | * | * | T | T | F | F | T | T | T |
| 917 | * | * | * | T | T | F | F | T | T | T |
| 918 | * | * | * | T | T | F | F | T | T | T |
| 919 | * | * | * | T | T | F | F | T | T | T |
| 7876 | * | * | * | T | T | F | F | T | T | T |
| 7877 | * | * | * | T | T | F | F | T | T | T |
| 7878 | * | * | * | T | T | F | F | T | T | T |
| 7879 | * | * | * | T | T | F | F | T | T | T |
| 14617 | * | * | * | T | T | F | F | T | T | T |
| 14618 | * | * | * | T | T | F | F | T | T | T |
| 14619 | * | * | * | T | T | F | F | T | T | T |
| 14620 | * | * | * | T | T | F | F | T | T | T |
| 91805 | F | F | T | * | * | * | * | * | * | T |
| 99582 | F | F | T | * | * | * | * | * | * | T |
| 108071 | F | F | T | * | * | * | * | * | * | T |
| 116149 | F | F | T | * | * | * | * | * | * | T |
| 215493 | F | F | T | * | * | * | * | * | * | T |
Independent-effect pairs
All 9 conditions live in <scry_analyze_core::Interp>::seq — 9 br_if
c0(branch2787): GAP view gap →c1(branch2788): GAP view gap →c2(branch2789): GAP view gap →c3(branch2792): GAP view gap →c4(branch2796): GAP view gap →c5(branch2797): GAP view gap →c6(branch2802): GAP view gap →c7(branch2803): GAP view gap →c8(branch2804): GAP view gap →