Decision #851 — library/core/src/ptr/mod.rs:1731
Status: no_witness
Truth table
| row | c0 br 5721 | c1 br 5722 | c2 br 5723 | c3 br 5724 | outcome |
|---|---|---|---|---|---|
| 159479 | F | * | * | * | T |
| 159480 | T | T | F | T | T |
| 159481 | F | * | * | * | T |
| 159482 | F | * | * | * | T |
| 159483 | T | T | F | T | T |
| 159484 | F | * | * | * | T |
| 169337 | F | * | * | * | T |
| 169338 | T | T | F | T | T |
| 169339 | F | * | * | * | T |
| 169340 | F | * | * | * | T |
| 169341 | T | T | F | T | T |
| 169342 | F | * | * | * | T |
| 191616 | T | T | F | T | T |
| 191617 | T | T | F | T | T |
| 197580 | F | * | * | * | T |
| 197581 | F | * | * | * | T |
| 197582 | F | * | * | * | T |
| 197583 | F | * | * | * | T |
| 197584 | F | * | * | * | T |
| 197585 | F | * | * | * | T |
| 203648 | F | * | * | * | T |
| 203649 | F | * | * | * | T |
| 208807 | F | * | * | * | T |
| 208808 | F | * | * | * | T |
| 208809 | F | * | * | * | T |
| 208810 | F | * | * | * | T |
| 216280 | T | T | F | F | T |
| 216281 | T | T | F | F | T |
Independent-effect pairs
c0(branch5721): 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:408c1(branch5722): 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:498 ← library/core/src/slice/sort/shared/smallsort.rs:408c2(branch5723): 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:499 ← library/core/src/slice/sort/shared/smallsort.rs:408c3(branch5724): 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:408