Decision #225 — library/core/src/mem/mod.rs:787
Status: no_witness
Truth table
| row | c0 br 1763 | c1 br 1765 | outcome |
|---|---|---|---|
| 694 | F | T | T |
| 695 | * | T | T |
| 3734 | F | T | T |
| 3735 | * | T | T |
| 6679 | F | T | T |
| 6680 | * | T | T |
| 9619 | F | T | T |
| 10767 | F | T | T |
| 11858 | F | T | T |
| 13522 | F | T | T |
| 21240 | F | T | T |
| 29135 | F | T | T |
| 35073 | F | T | T |
| 40739 | F | T | T |
| 40740 | * | T | T |
| 43750 | F | T | T |
| 43751 | * | T | T |
| 47203 | F | T | T |
| 47204 | * | T | T |
| 50279 | F | T | T |
| 50280 | * | T | T |
| 53477 | F | T | T |
| 63249 | F | T | T |
| 72965 | F | T | T |
| 72966 | * | T | T |
| 72967 | * | T | T |
| 72968 | * | T | T |
| 72969 | * | T | T |
| 72970 | * | T | T |
| 76440 | F | T | T |
| 76441 | * | T | T |
| 76442 | * | T | T |
| 76443 | * | T | T |
| 76444 | * | T | T |
| 76445 | * | T | T |
| 79321 | F | T | T |
| 80832 | F | T | T |
| 82019 | F | T | T |
| 83081 | F | T | T |
| 84274 | F | T | T |
| 85865 | F | T | T |
| 87639 | F | T | T |
| 89170 | F | T | T |
| 90918 | F | T | T |
| 93259 | F | T | T |
| 112122 | F | T | T |
| 130052 | F | T | T |
| 131227 | F | T | T |
| 132554 | F | T | T |
Independent-effect pairs
c0(branch1763): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: library/core/src/slice/sort/unstable/mod.rs:126 ← library/core/src/slice/mod.rs:998c1(branch1765): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_if
inlined: library/core/src/slice/sort/unstable/mod.rs:126 ← library/core/src/slice/mod.rs:998