Decision #51 — library/core/src/num/uint_macros.rs:3757
Status: no_witness
Truth table
| row | c0 br 355 | c1 br 356 | outcome |
|---|---|---|---|
| 50 | F | * | T |
| 51 | F | * | T |
| 52 | F | * | T |
| 53 | F | * | T |
| 3844 | F | * | T |
| 3845 | F | * | T |
| 3846 | F | * | T |
| 3847 | F | * | T |
| 7527 | F | * | T |
| 7528 | F | * | T |
| 7529 | F | * | T |
| 7530 | F | * | T |
| 47125 | F | * | T |
| 47126 | F | * | T |
| 51253 | F | * | T |
| 51254 | F | * | T |
| 55791 | F | * | T |
| 55792 | F | * | T |
| 60049 | F | * | T |
| 60050 | F | * | T |
| 87219 | F | * | T |
| 87220 | F | * | T |
| 87221 | F | * | T |
| 87222 | F | * | T |
| 87223 | F | * | T |
| 91487 | F | * | T |
| 91488 | F | * | T |
| 91489 | F | * | T |
| 91490 | F | * | T |
| 91491 | F | * | T |
| 95721 | F | * | T |
| 95722 | F | * | T |
| 104795 | F | * | T |
| 104796 | F | * | T |
| 110748 | F | * | T |
Independent-effect pairs
c0(branch355): GAP view gap →<alloc::vec::Vec<alloc::collections::btree::set::BTreeSet<usize>>>::extend_with· br_if
inlined: library/core/src/slice/sort/stable/drift.rs:30 ← library/core/src/slice/sort/stable/drift.rs:161c1(branch356): DEAD view gap →<alloc::vec::Vec<alloc::collections::btree::set::BTreeSet<usize>>>::extend_with· br_if
inlined: library/core/src/slice/sort/stable/drift.rs:30 ← library/core/src/slice/sort/stable/drift.rs:161