Decision #701 — library/alloc/src/vec/mod.rs:1046
Status: no_witness
Truth table
| row | c0 br 4839 | c1 br 4840 | outcome |
|---|---|---|---|
| 1657 | T | T | T |
| 1658 | T | T | T |
| 1659 | T | T | T |
| 1660 | T | T | T |
| 1661 | T | T | T |
| 1662 | T | T | T |
| 1663 | T | T | T |
| 1664 | T | T | T |
| 5448 | T | T | T |
| 5449 | T | T | T |
| 5450 | T | T | T |
| 5451 | T | T | T |
| 5452 | T | T | T |
| 5453 | T | T | T |
| 5454 | T | T | T |
| 5455 | T | T | T |
| 9229 | T | T | T |
| 9230 | T | T | T |
| 9231 | T | T | T |
| 9232 | T | T | T |
| 9233 | T | T | T |
| 9234 | T | T | T |
| 9235 | T | T | T |
| 9236 | T | T | T |
| 12266 | T | T | T |
| 12267 | T | T | T |
| 13640 | T | T | T |
| 13641 | T | T | T |
| 14967 | T | T | T |
| 14968 | T | T | T |
| 17217 | T | T | T |
| 17218 | T | T | T |
| 26695 | T | T | T |
| 26696 | T | T | T |
| 36502 | T | T | T |
| 36503 | T | T | T |
| 42715 | T | T | T |
| 42716 | T | T | T |
| 48669 | T | T | T |
| 48670 | T | T | T |
| 48671 | T | T | T |
| 48672 | T | T | T |
| 48673 | T | T | T |
| 48674 | T | T | T |
| 48675 | T | T | T |
| 48676 | T | T | T |
| 52870 | T | T | T |
| 52871 | T | T | T |
| 52872 | T | T | T |
| 52873 | T | T | T |
| 52874 | T | T | T |
| 52875 | T | T | T |
| 52876 | T | T | T |
| 52877 | T | T | T |
| 57400 | T | T | T |
| 57401 | T | T | T |
| 57402 | T | T | T |
| 57403 | T | T | T |
| 57404 | T | T | T |
| 57405 | T | T | T |
| 57406 | T | T | T |
| 57407 | T | T | T |
| 61593 | T | T | T |
| 61594 | T | T | T |
| 61595 | T | T | T |
| 61596 | T | T | T |
| 61597 | T | T | T |
| 61598 | T | T | T |
| 61599 | T | T | T |
| 61600 | T | T | T |
| 65873 | T | T | T |
| 65874 | T | T | T |
| 77386 | T | T | T |
| 77387 | T | T | T |
| 89338 | T | T | T |
| 89339 | T | T | T |
| 89340 | T | T | T |
| 89341 | T | T | T |
| 89342 | T | T | T |
| 89343 | T | T | T |
| 89344 | T | T | T |
| 89345 | T | T | T |
| 89346 | T | T | T |
| 89347 | T | T | T |
| 89348 | T | T | T |
| 89349 | T | T | T |
| 93606 | T | T | T |
| 93607 | T | T | T |
| 93608 | T | T | T |
| 93609 | T | T | T |
| 93610 | T | T | T |
| 93611 | T | T | T |
| 93612 | T | T | T |
| 93613 | T | T | T |
| 93614 | T | T | T |
| 93615 | T | T | T |
| 93616 | T | T | T |
| 93617 | T | T | T |
| 98318 | T | T | T |
| 98319 | T | T | T |
| 99833 | T | T | T |
| 99834 | T | T | T |
| 101251 | T | T | T |
| 101252 | T | T | T |
| 103047 | T | T | T |
| 103048 | T | T | T |
| 106799 | T | T | T |
| 106800 | T | T | T |
| 106801 | T | T | T |
| 106802 | T | T | T |
| 106803 | T | T | T |
| 106804 | T | T | T |
| 109336 | T | T | T |
| 109337 | T | T | T |
| 112322 | T | T | T |
| 112323 | T | T | T |
| 112324 | T | T | T |
| 112325 | T | T | T |
| 115052 | T | T | T |
| 115053 | T | T | T |
| 115054 | T | T | T |
| 115055 | T | T | T |
| 119721 | T | T | T |
| 119722 | T | T | T |
| 142657 | T | T | T |
| 142658 | T | T | T |
| 163518 | T | T | T |
| 163519 | T | T | T |
| 165099 | T | T | T |
| 165100 | T | T | T |
| 166819 | T | T | T |
| 166820 | T | T | T |
Independent-effect pairs
c0(branch4839): GAP view gap →<alloc::raw_vec::RawVec<i64>>::grow_one· br_ifc1(branch4840): GAP view gap →<alloc::raw_vec::RawVec<i64>>::grow_one· br_if