Decision #429 — library/alloc/src/alloc.rs:99
Status: no_witness
Truth table
| row | c0 br 2909 | c1 br 2910 | outcome |
|---|---|---|---|
| 17741 | F | * | F |
| 17742 | F | * | F |
| 25459 | F | * | F |
| 25460 | F | * | F |
| 31096 | F | * | F |
| 31097 | F | * | F |
| 37034 | F | * | F |
| 37035 | F | * | F |
| 59044 | F | * | F |
| 59045 | F | * | F |
| 68816 | F | * | F |
| 68817 | F | * | F |
| 106179 | F | * | F |
| 106180 | F | * | F |
| 125042 | F | * | F |
| 125043 | F | * | F |
Independent-effect pairs
c0(branch2909): GAP view gap →scry_octagon::leq· br_if
inlined: library/alloc/src/raw_vec/mod.rs:465 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c1(branch2910): DEAD view gap →scry_octagon::leq· br_if
inlined: library/alloc/src/raw_vec/mod.rs:465 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210