Decision #983 — library/alloc/src/raw_vec/mod.rs:470
Status: no_witness
Truth table
| row | c0 br 6326 | c1 br 6327 | c2 br 6332 | outcome |
|---|---|---|---|---|
| 33712 | F | F | F | T |
| 33713 | F | F | F | T |
| 54566 | F | F | F | T |
| 54567 | F | F | F | T |
| 125875 | F | F | F | T |
| 125876 | F | F | F | T |
| 125877 | F | F | F | T |
| 125878 | F | F | F | T |
| 125879 | F | F | F | T |
| 125880 | F | F | F | T |
| 125881 | F | F | F | T |
| 125882 | F | F | F | T |
| 142594 | F | F | F | T |
| 142595 | F | F | F | T |
| 142596 | F | F | F | T |
| 142597 | F | F | F | T |
| 142598 | F | F | F | T |
| 142599 | F | F | F | T |
| 142600 | F | F | F | T |
| 142601 | F | F | F | T |
| 240600 | F | F | F | T |
| 240601 | F | F | F | T |
| 317977 | F | F | F | T |
| 317978 | F | F | F | T |
Independent-effect pairs
All 3 conditions live in scry_octagon::assign_const — 3 br_if
c0(branch6326): GAP view gap →c1(branch6327): GAP view gap →c2(branch6332): GAP view gap →