Decision #579 — library/core/src/slice/cmp.rs:426
Status: no_witness
Truth table
| row | c0 br 3976 | c1 br 3977 | outcome |
|---|---|---|---|
| 1341 | T | F | F |
| 1342 | T | F | F |
| 1343 | F | * | F |
| 1344 | F | * | F |
| 8301 | T | F | F |
| 8302 | T | F | F |
| 8303 | F | * | F |
| 8304 | F | * | F |
| 15102 | T | F | F |
| 15103 | T | F | F |
| 15104 | F | * | F |
| 15105 | F | * | F |
| 92204 | T | F | F |
| 92205 | T | F | F |
| 100033 | T | F | F |
| 100034 | T | F | F |
| 108522 | T | F | F |
| 108523 | T | F | F |
| 116548 | T | F | F |
| 116549 | T | F | F |
| 176643 | T | F | F |
| 196830 | T | F | F |
| 196831 | T | F | F |
Independent-effect pairs
c0(branch3976): GAP view gap →<alloc::collections::btree::map::entry::VacantEntry<usize, alloc::collections::btree::set_val::SetValZST>>::insert_entry· br_ifc1(branch3977): GAP view gap →<alloc::collections::btree::map::entry::VacantEntry<usize, alloc::collections::btree::set_val::SetValZST>>::insert_entry· br_if