Decision #758 — library/alloc/src/raw_vec/mod.rs:436
Status: no_witness
Truth table
| row | c0 br 4917 | c1 br 4919 | outcome |
|---|---|---|---|
| 31160 | F | * | T |
| 31161 | F | * | T |
| 52014 | F | * | T |
| 52015 | F | * | T |
| 72982 | T | * | T |
| 72983 | T | * | T |
| 82865 | T | * | T |
| 82866 | T | * | T |
| 124926 | F | * | T |
| 124927 | F | * | T |
| 141645 | F | * | T |
| 141646 | F | * | T |
| 224771 | T | * | T |
| 224772 | T | * | T |
| 302148 | T | * | T |
| 302149 | T | * | T |
Independent-effect pairs
c0(branch4917): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_ifc1(branch4919): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if