Decision #121 — library/alloc/src/raw_vec/mod.rs:435
Status: no_witness
Truth table
| row | c0 br 758 | c1 br 851 | outcome |
|---|---|---|---|
| 40530 | * | F | F |
| 40531 | * | F | F |
| 40532 | * | F | F |
| 40533 | * | F | F |
| 43498 | * | F | F |
| 43499 | * | F | F |
| 43500 | * | F | F |
| 43501 | * | F | F |
| 46951 | * | F | F |
| 46952 | * | F | F |
| 46953 | * | F | F |
| 46954 | * | F | F |
| 50070 | * | F | F |
| 50071 | * | F | F |
| 50072 | * | F | F |
| 50073 | * | F | F |
| 79215 | * | F | F |
| 79216 | * | F | F |
| 92950 | T | * | T |
| 111813 | T | * | T |
Independent-effect pairs
c0(branch758): GAP view gap →scry_analyze_core::Interp::seq· br_ifc1(branch851): GAP view gap →scry_analyze_core::Interp::seq· br_if