Decision #925 — library/core/src/slice/index.rs:219
Status: no_witness
Truth table
| row | c0 br 6682 | c1 br 6683 | outcome |
|---|---|---|---|
| 1906 | T | T | T |
| 5697 | T | T | T |
| 9478 | T | T | T |
| 12334 | T | T | T |
| 13708 | T | T | T |
| 15035 | T | T | T |
| 38259 | T | T | T |
| 44472 | T | T | T |
| 49086 | T | T | T |
| 53287 | T | T | T |
| 57817 | T | T | T |
| 62010 | T | T | T |
| 89591 | T | T | T |
| 93859 | T | T | T |
| 98387 | T | T | T |
| 99902 | T | T | T |
| 101320 | T | T | T |
| 107077 | T | T | T |
| 112560 | T | T | T |
| 135298 | T | T | T |
| 158234 | T | T | T |
Independent-effect pairs
c0(branch6682): GAP view gap →<alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>· br_if
inlined: operators.rs:902 ← binary_reader.rs:443c1(branch6683): GAP view gap →<alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>· br_if