Decision #126 — library/alloc/src/vec/mod.rs:1840
Status: no_witness
Truth table
| row | c0 br 757 | c1 br 850 | outcome |
|---|---|---|---|
| 40538 | * | T | T |
| 40539 | * | T | T |
| 40540 | * | T | T |
| 40541 | * | T | T |
| 43506 | * | T | T |
| 43507 | * | T | T |
| 43508 | * | T | T |
| 43509 | * | T | T |
| 46959 | * | T | T |
| 46960 | * | T | T |
| 46961 | * | T | T |
| 46962 | * | T | T |
| 50078 | * | T | T |
| 50079 | * | T | T |
| 50080 | * | T | T |
| 50081 | * | T | T |
| 79217 | * | T | T |
| 79218 | * | T | T |
Independent-effect pairs
c0(branch757): DEAD view gap →scry_analyze_core::Interp::seq· br_ifc1(branch850): GAP view gap →scry_analyze_core::Interp::seq· br_if