Decision #852 — library/core/src/ptr/mod.rs:640
Status: partial
Truth table
| row | c0 br 5727 | c1 br 5728 | outcome |
|---|---|---|---|
| 2010 | * | F | F |
| 2011 | * | F | F |
| 2012 | * | F | F |
| 2013 | * | F | F |
| 2014 | * | F | F |
| 2015 | * | F | F |
| 2016 | * | F | F |
| 2017 | * | F | F |
| 8969 | * | F | F |
| 8970 | * | F | F |
| 8971 | * | F | F |
| 8972 | * | F | F |
| 8973 | * | F | F |
| 8974 | * | F | F |
| 8975 | * | F | F |
| 8976 | * | F | F |
| 15775 | * | F | F |
| 15776 | * | F | F |
| 15777 | * | F | F |
| 15778 | * | F | F |
| 15779 | * | F | F |
| 15780 | * | F | F |
| 15781 | * | F | F |
| 15782 | * | F | F |
| 22037 | * | T | T |
| 22038 | * | T | T |
| 22039 | * | F | F |
| 22040 | * | T | T |
| 22041 | * | T | T |
| 22042 | * | F | F |
| 24779 | * | T | T |
| 24780 | * | T | T |
| 24781 | * | F | F |
| 24782 | * | T | T |
| 24783 | * | T | T |
| 24784 | * | F | F |
| 27423 | * | T | T |
| 27424 | * | T | T |
| 27425 | * | F | F |
| 27426 | * | T | T |
| 27427 | * | T | T |
| 27428 | * | F | F |
| 31419 | * | T | T |
| 31420 | * | F | F |
| 31421 | * | T | T |
| 31422 | * | F | F |
| 52273 | * | T | T |
| 52274 | * | F | F |
| 52275 | * | T | T |
| 52276 | * | F | F |
| 73316 | * | T | T |
| 73317 | * | F | F |
| 73318 | * | T | T |
| 73319 | * | F | F |
| 83199 | * | T | T |
| 83200 | * | F | F |
| 83201 | * | T | T |
| 83202 | * | F | F |
| 92776 | * | F | F |
| 92777 | * | F | F |
| 92778 | * | F | F |
| 92779 | * | F | F |
| 92780 | * | F | F |
| 92781 | * | F | F |
| 92782 | * | F | F |
| 92783 | * | F | F |
| 100607 | * | F | F |
| 100608 | * | F | F |
| 100609 | * | F | F |
| 100610 | * | F | F |
| 100611 | * | F | F |
| 100612 | * | F | F |
| 100613 | * | F | F |
| 100614 | * | F | F |
| 109095 | * | F | F |
| 109096 | * | F | F |
| 109097 | * | F | F |
| 109098 | * | F | F |
| 109099 | * | F | F |
| 109100 | * | F | F |
| 109101 | * | F | F |
| 109102 | * | F | F |
| 117120 | * | F | F |
| 117121 | * | F | F |
| 117122 | * | F | F |
| 117123 | * | F | F |
| 117124 | * | F | F |
| 117125 | * | F | F |
| 117126 | * | F | F |
| 117127 | * | F | F |
| 125254 | * | T | T |
| 125255 | * | F | F |
| 125256 | * | T | T |
| 125257 | * | F | F |
| 141973 | * | T | T |
| 141974 | * | F | F |
| 141975 | * | T | T |
| 141976 | * | F | F |
| 159485 | * | T | T |
| 159486 | * | T | T |
| 159487 | * | F | F |
| 159488 | * | T | T |
| 159489 | * | F | F |
| 159490 | * | T | T |
| 159491 | * | T | T |
| 159492 | * | F | F |
| 159493 | * | T | T |
| 159494 | * | T | T |
| 159495 | * | F | F |
| 159496 | * | T | T |
| 159497 | * | F | F |
| 159498 | * | T | T |
| 159499 | * | T | T |
| 159500 | * | F | F |
| 169343 | * | T | T |
| 169344 | * | T | T |
| 169345 | * | F | F |
| 169346 | * | T | T |
| 169347 | * | F | F |
| 169348 | * | T | T |
| 169349 | * | T | T |
| 169350 | * | F | F |
| 169351 | * | T | T |
| 169352 | * | T | T |
| 169353 | * | F | F |
| 169354 | * | T | T |
| 169355 | * | F | F |
| 169356 | * | T | T |
| 169357 | * | T | T |
| 169358 | * | F | F |
| 181523 | * | T | T |
| 181524 | * | F | F |
| 181525 | * | T | T |
| 181526 | * | F | F |
| 184841 | * | T | T |
| 184842 | * | F | F |
| 184843 | * | T | T |
| 184844 | * | F | F |
| 187950 | * | T | T |
| 187951 | * | F | F |
| 187952 | * | T | T |
| 187953 | * | F | F |
| 197586 | * | T | T |
| 197587 | * | T | T |
| 197588 | * | T | T |
| 197589 | * | T | T |
| 197590 | * | T | T |
| 197591 | * | T | T |
| 197592 | * | T | T |
| 197593 | * | T | T |
| 208811 | * | T | T |
| 208812 | * | T | T |
| 208813 | * | T | T |
| 208814 | * | T | T |
| 208815 | * | T | T |
| 208816 | * | T | T |
| 216282 | F | * | F |
| 216283 | F | * | F |
| 225279 | * | T | T |
| 225280 | * | F | F |
| 225281 | * | T | T |
| 225282 | * | F | F |
| 302656 | * | T | T |
| 302657 | * | F | F |
| 302658 | * | T | T |
| 302659 | * | F | F |
| 377374 | * | F | F |
| 377375 | * | F | F |
| 380031 | * | F | F |
| 380032 | * | F | F |
| 382914 | * | F | F |
| 382915 | * | F | F |
Independent-effect pairs
c0(branch5727): GAP view gap →<alloc::vec::Vec<i64>>::dedup_by::<<alloc::vec::Vec<i64>>::dedup::{closure#0}>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:506 ← library/core/src/slice/sort/shared/smallsort.rs:409c1(branch5728): PROVED — pair rows2010,22037(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:507 ← library/core/src/slice/sort/shared/smallsort.rs:409