Decision #788 — library/alloc/src/vec/mod.rs:1041
Status: no_witness
Truth table
| row | c0 br 5235 | c1 br 5240 | outcome |
|---|---|---|---|
| 38192 | F | * | T |
| 38193 | F | * | T |
| 38194 | F | * | T |
| 38195 | F | * | T |
| 44405 | F | * | T |
| 44406 | F | * | T |
| 44407 | F | * | T |
| 44408 | F | * | T |
| 135193 | F | * | T |
| 135194 | F | * | T |
| 135195 | F | * | T |
| 135196 | F | * | T |
| 135197 | F | * | T |
| 135198 | F | * | T |
| 135199 | F | * | T |
| 135200 | F | * | T |
| 158129 | F | * | T |
| 158130 | F | * | T |
| 158131 | F | * | T |
| 158132 | F | * | T |
| 158133 | F | * | T |
| 158134 | F | * | T |
| 158135 | F | * | T |
| 158136 | F | * | T |
Independent-effect pairs
c0(branch5235): GAP view gap →scry_octagon::widen· br_ifc1(branch5240): DEAD view gap →scry_octagon::widen· br_if