Decision #245 — library/alloc/src/raw_vec/mod.rs:442
Status: no_witness
Truth table
| row | c0 br 1910 | c1 br 1912 | outcome |
|---|---|---|---|
| 13578 | F | T | T |
| 13579 | F | T | T |
| 21296 | F | T | T |
| 21297 | F | T | T |
| 29224 | F | T | T |
| 29225 | F | T | T |
| 35162 | F | T | T |
| 35163 | F | T | T |
| 53545 | F | T | T |
| 53546 | F | T | T |
| 63317 | F | T | T |
| 63318 | F | T | T |
| 93390 | F | F | T |
| 93391 | F | T | T |
| 93392 | F | F | T |
| 93393 | F | T | T |
| 112253 | F | F | T |
| 112254 | F | T | T |
| 112255 | F | F | T |
| 112256 | F | T | T |
Independent-effect pairs
c0(branch1910): GAP view gap →scry_analyze_core::Interp::loop_region· br_ifc1(branch1912): GAP view gap →scry_analyze_core::Interp::loop_region· br_if