Decision #860 — library/core/src/result.rs:2177
Status: no_witness
Truth table
| row | c0 br 5770 | c1 br 5771 | outcome |
|---|---|---|---|
| 2018 | F | F | F |
| 2019 | F | F | F |
| 2020 | F | F | F |
| 2021 | F | F | F |
| 2022 | F | F | F |
| 2023 | F | F | F |
| 2024 | F | F | F |
| 2025 | F | F | F |
| 8977 | F | F | F |
| 8978 | F | F | F |
| 8979 | F | F | F |
| 8980 | F | F | F |
| 8981 | F | F | F |
| 8982 | F | F | F |
| 8983 | F | F | F |
| 8984 | F | F | F |
| 15783 | F | F | F |
| 15784 | F | F | F |
| 15785 | F | F | F |
| 15786 | F | F | F |
| 15787 | F | F | F |
| 15788 | F | F | F |
| 15789 | F | F | F |
| 15790 | F | F | F |
| 22047 | F | F | F |
| 22048 | F | F | F |
| 24789 | F | F | F |
| 24790 | F | F | F |
| 27433 | F | F | F |
| 27434 | F | F | F |
| 31425 | F | F | F |
| 31426 | F | F | F |
| 52279 | F | F | F |
| 52280 | F | F | F |
| 73322 | F | F | F |
| 73323 | F | F | F |
| 83205 | F | F | F |
| 83206 | F | F | F |
| 92784 | F | F | F |
| 92785 | F | F | F |
| 92786 | F | F | F |
| 92787 | F | F | F |
| 92788 | F | F | F |
| 92789 | F | F | F |
| 92790 | F | F | F |
| 92791 | F | F | F |
| 100615 | F | F | F |
| 100616 | F | F | F |
| 100617 | F | F | F |
| 100618 | F | F | F |
| 100619 | F | F | F |
| 100620 | F | F | F |
| 100621 | F | F | F |
| 100622 | F | F | F |
| 109103 | F | F | F |
| 109104 | F | F | F |
| 109105 | F | F | F |
| 109106 | F | F | F |
| 109107 | F | F | F |
| 109108 | F | F | F |
| 109109 | F | F | F |
| 109110 | F | F | F |
| 117128 | F | F | F |
| 117129 | F | F | F |
| 117130 | F | F | F |
| 117131 | F | F | F |
| 117132 | F | F | F |
| 117133 | F | F | F |
| 117134 | F | F | F |
| 117135 | F | F | F |
| 125260 | F | F | F |
| 125261 | F | F | F |
| 141979 | F | F | F |
| 141980 | F | F | F |
| 159515 | F | F | F |
| 159516 | F | F | F |
| 159517 | F | F | F |
| 159518 | F | F | F |
| 159519 | F | F | F |
| 159520 | F | F | F |
| 159521 | F | F | F |
| 159522 | F | F | F |
| 159523 | F | F | F |
| 159524 | F | F | F |
| 159525 | F | F | F |
| 159526 | F | F | F |
| 169373 | F | F | F |
| 169374 | F | F | F |
| 169375 | F | F | F |
| 169376 | F | F | F |
| 169377 | F | F | F |
| 169378 | F | F | F |
| 169379 | F | F | F |
| 169380 | F | F | F |
| 169381 | F | F | F |
| 169382 | F | F | F |
| 169383 | F | F | F |
| 169384 | F | F | F |
| 181529 | F | F | F |
| 181530 | F | F | F |
| 184847 | F | F | F |
| 184848 | F | F | F |
| 187956 | F | F | F |
| 187957 | F | F | F |
| 191620 | F | F | F |
| 191621 | F | F | F |
| 197598 | F | F | F |
| 197599 | F | F | F |
| 197600 | F | F | F |
| 197601 | F | F | F |
| 197602 | F | F | F |
| 197603 | F | F | F |
| 203650 | F | F | F |
| 203651 | F | F | F |
| 208821 | F | F | F |
| 208822 | F | F | F |
| 208823 | F | F | F |
| 208824 | F | F | F |
| 216292 | F | F | F |
| 216293 | F | F | F |
| 225285 | F | F | F |
| 225286 | F | F | F |
| 302662 | F | F | F |
| 302663 | F | F | F |
| 377376 | F | F | F |
| 377377 | F | F | F |
| 380033 | F | F | F |
| 380034 | F | F | F |
| 382916 | F | F | F |
| 382917 | F | F | F |
Independent-effect pairs
c0(branch5770): GAP view gap →core::slice::sort::shared::smallsort::insertion_sort_shift_left::<i64, <i64 as core::cmp::PartialOrd>::lt>· br_ifc1(branch5771): GAP view gap →core::slice::sort::shared::smallsort::insertion_sort_shift_left::<i64, <i64 as core::cmp::PartialOrd>::lt>· br_if