Decision #850 — library/core/src/ptr/mod.rs:640
Status: full_mcdc
Truth table
| row | c0 br 5719 | c1 br 5720 | outcome |
|---|---|---|---|
| 2000 | F | T | T |
| 2001 | F | T | T |
| 2002 | F | T | T |
| 2003 | F | T | T |
| 2004 | T | * | T |
| 2005 | F | T | T |
| 2006 | F | T | T |
| 2007 | F | T | T |
| 2008 | F | T | T |
| 2009 | T | * | T |
| 8959 | F | T | T |
| 8960 | F | T | T |
| 8961 | F | T | T |
| 8962 | F | T | T |
| 8963 | T | * | T |
| 8964 | F | T | T |
| 8965 | F | T | T |
| 8966 | F | T | T |
| 8967 | F | T | T |
| 8968 | T | * | T |
| 15765 | F | T | T |
| 15766 | F | T | T |
| 15767 | F | T | T |
| 15768 | F | T | T |
| 15769 | T | * | T |
| 15770 | F | T | T |
| 15771 | F | T | T |
| 15772 | F | T | T |
| 15773 | F | T | T |
| 15774 | T | * | T |
| 22031 | F | T | T |
| 22032 | * | T | T |
| 22033 | F | T | T |
| 22034 | * | T | T |
| 22035 | * | T | T |
| 22036 | * | T | T |
| 24773 | F | T | T |
| 24774 | * | T | T |
| 24775 | F | T | T |
| 24776 | * | T | T |
| 24777 | * | T | T |
| 24778 | * | T | T |
| 27417 | F | T | T |
| 27418 | * | T | T |
| 27419 | F | T | T |
| 27420 | * | T | T |
| 27421 | * | T | T |
| 27422 | * | T | T |
| 31415 | F | T | T |
| 31416 | F | T | T |
| 31417 | * | T | T |
| 31418 | * | T | T |
| 52269 | F | T | T |
| 52270 | F | T | T |
| 52271 | * | T | T |
| 52272 | * | T | T |
| 73312 | F | T | T |
| 73313 | F | T | T |
| 73314 | * | T | T |
| 73315 | * | T | T |
| 83195 | F | T | T |
| 83196 | F | T | T |
| 83197 | * | T | T |
| 83198 | * | T | T |
| 92768 | F | T | T |
| 92769 | F | T | T |
| 92770 | F | T | T |
| 92771 | F | T | T |
| 92772 | F | T | T |
| 92773 | F | T | T |
| 92774 | F | T | T |
| 92775 | F | T | T |
| 100599 | F | T | T |
| 100600 | F | T | T |
| 100601 | F | T | T |
| 100602 | F | T | T |
| 100603 | F | T | T |
| 100604 | F | T | T |
| 100605 | F | T | T |
| 100606 | F | T | T |
| 109087 | F | T | T |
| 109088 | F | T | T |
| 109089 | F | T | T |
| 109090 | F | T | T |
| 109091 | F | T | T |
| 109092 | F | T | T |
| 109093 | F | T | T |
| 109094 | F | T | T |
| 117112 | F | T | T |
| 117113 | F | T | T |
| 117114 | F | T | T |
| 117115 | F | T | T |
| 117116 | F | T | T |
| 117117 | F | T | T |
| 117118 | F | T | T |
| 117119 | F | T | T |
| 125250 | F | T | T |
| 125251 | F | T | T |
| 125252 | * | T | T |
| 125253 | * | T | T |
| 141969 | F | T | T |
| 141970 | F | T | T |
| 141971 | * | T | T |
| 141972 | * | T | T |
| 159457 | F | T | T |
| 159458 | F | F | F |
| 159459 | F | F | F |
| 159460 | * | T | T |
| 159461 | F | T | T |
| 159462 | * | T | T |
| 159463 | F | T | T |
| 159464 | * | T | T |
| 159465 | F | F | F |
| 159466 | * | T | T |
| 159467 | F | T | T |
| 159468 | * | T | T |
| 159469 | F | F | F |
| 159470 | F | F | F |
| 159471 | * | T | T |
| 159472 | F | T | T |
| 159473 | * | T | T |
| 159474 | F | T | T |
| 159475 | * | T | T |
| 159476 | F | F | F |
| 159477 | * | T | T |
| 159478 | * | T | T |
| 169315 | F | T | T |
| 169316 | F | F | F |
| 169317 | F | F | F |
| 169318 | * | T | T |
| 169319 | F | T | T |
| 169320 | * | T | T |
| 169321 | F | T | T |
| 169322 | * | T | T |
| 169323 | F | F | F |
| 169324 | * | T | T |
| 169325 | F | T | T |
| 169326 | * | T | T |
| 169327 | F | F | F |
| 169328 | F | F | F |
| 169329 | * | T | T |
| 169330 | F | T | T |
| 169331 | * | T | T |
| 169332 | F | T | T |
| 169333 | * | T | T |
| 169334 | F | F | F |
| 169335 | * | T | T |
| 169336 | * | T | T |
| 176999 | T | * | T |
| 177000 | T | * | T |
| 177001 | T | * | T |
| 177002 | T | * | T |
| 177003 | T | * | T |
| 177004 | T | * | T |
| 181519 | F | T | T |
| 181520 | F | T | T |
| 181521 | * | T | T |
| 181522 | * | T | T |
| 184837 | F | T | T |
| 184838 | F | T | T |
| 184839 | * | T | T |
| 184840 | * | T | T |
| 187946 | F | T | T |
| 187947 | F | T | T |
| 187948 | * | T | T |
| 187949 | * | T | T |
| 191614 | F | F | F |
| 191615 | F | F | F |
| 197566 | F | T | T |
| 197567 | * | T | T |
| 197568 | F | F | F |
| 197569 | * | T | T |
| 197570 | F | F | F |
| 197571 | * | T | T |
| 197572 | F | F | F |
| 197573 | * | T | T |
| 197574 | * | T | T |
| 197575 | F | F | F |
| 197576 | * | T | T |
| 197577 | F | F | F |
| 197578 | * | T | T |
| 197579 | * | F | F |
| 203646 | F | F | F |
| 203647 | F | F | F |
| 208797 | F | T | T |
| 208798 | * | T | T |
| 208799 | F | F | F |
| 208800 | * | T | T |
| 208801 | F | F | F |
| 208802 | * | T | T |
| 208803 | * | T | T |
| 208804 | F | F | F |
| 208805 | * | T | T |
| 208806 | * | F | F |
| 216278 | F | F | F |
| 216279 | F | F | F |
| 225275 | F | T | T |
| 225276 | F | T | T |
| 225277 | * | T | T |
| 225278 | * | T | T |
| 302652 | F | T | T |
| 302653 | F | T | T |
| 302654 | * | T | T |
| 302655 | * | T | T |
| 377372 | F | T | T |
| 377373 | F | T | T |
| 380029 | F | T | T |
| 380030 | F | T | T |
| 382912 | F | T | T |
| 382913 | F | T | T |
Independent-effect pairs
c0(branch5719): PROVED — pair rows2004,159458(masking)<alloc::vec::Vec<i64>>::dedup_by::<<alloc::vec::Vec<i64>>::dedup::{closure#0}>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:409c1(branch5720): PROVED — pair rows2000,159458(unique-cause)<alloc::vec::Vec<i64>>::dedup_by::<<alloc::vec::Vec<i64>>::dedup::{closure#0}>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:409