Decision #465 — library/core/src/slice/cmp.rs:426
Status: no_witness
Truth table
| row | c0 br 3200 | c1 br 3201 | outcome |
|---|---|---|---|
| 616 | F | F | T |
| 617 | F | F | T |
| 4410 | F | F | T |
| 4411 | F | F | T |
| 8140 | F | F | T |
| 8141 | F | F | T |
| 47808 | F | F | T |
| 47809 | F | F | T |
| 51977 | F | F | T |
| 51978 | F | F | T |
| 56515 | F | F | T |
| 56516 | F | F | T |
| 60732 | F | F | T |
| 60733 | F | F | T |
| 96015 | F | F | T |
| 105652 | F | F | T |
| 105653 | F | F | T |
Independent-effect pairs
c0(branch3200): GAP view gap →<alloc::collections::btree::map::entry::VacantEntry<usize, alloc::collections::btree::set_val::SetValZST>>::insert_entry· br_ifc1(branch3201): GAP view gap →<alloc::collections::btree::map::entry::VacantEntry<usize, alloc::collections::btree::set_val::SetValZST>>::insert_entry· br_if