Decision #981 — library/alloc/src/alloc.rs:99
Status: no_witness
Truth table
| row | c0 br 6325 | c1 br 6331 | outcome |
|---|---|---|---|
| 33708 | T | F | T |
| 33709 | T | F | T |
| 54562 | T | F | T |
| 54563 | T | F | T |
| 125859 | T | F | T |
| 125860 | T | F | T |
| 125861 | T | F | T |
| 125862 | T | F | T |
| 125863 | T | F | T |
| 125864 | T | F | T |
| 125865 | T | F | T |
| 125866 | T | F | T |
| 142578 | T | F | T |
| 142579 | T | F | T |
| 142580 | T | F | T |
| 142581 | T | F | T |
| 142582 | T | F | T |
| 142583 | T | F | T |
| 142584 | T | F | T |
| 142585 | T | F | T |
| 240596 | T | F | T |
| 240597 | T | F | T |
| 317973 | T | F | T |
| 317974 | T | F | T |
Independent-effect pairs
c0(branch6325): GAP view gap →scry_octagon::assign_const· br_if
inlined: library/alloc/src/raw_vec/mod.rs:466 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c1(branch6331): GAP view gap →scry_octagon::assign_const· br_if
inlined: library/alloc/src/raw_vec/mod.rs:466 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210