Decision #688 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 4591 | c1 br 4592 | outcome |
|---|---|---|---|
| 1656 | F | T | T |
| 1657 | * | T | T |
| 1658 | * | T | T |
| 1659 | * | T | T |
| 1660 | * | T | T |
| 1661 | * | T | T |
| 1662 | * | T | T |
| 1663 | * | T | T |
| 1664 | * | T | T |
| 1665 | * | T | T |
| 1666 | * | T | T |
| 1667 | * | T | T |
| 1668 | * | T | T |
| 8616 | F | T | T |
| 8617 | * | T | T |
| 8618 | * | T | T |
| 8619 | * | T | T |
| 8620 | * | T | T |
| 8621 | * | T | T |
| 8622 | * | T | T |
| 8623 | * | T | T |
| 8624 | * | T | T |
| 8625 | * | T | T |
| 8626 | * | T | T |
| 8627 | * | T | T |
| 8628 | * | T | T |
| 15417 | F | T | T |
| 15418 | * | T | T |
| 15419 | * | T | T |
| 15420 | * | T | T |
| 15421 | * | T | T |
| 15422 | * | T | T |
| 15423 | * | T | T |
| 15424 | * | T | T |
| 15425 | * | T | T |
| 15426 | * | T | T |
| 15427 | * | T | T |
| 15428 | * | T | T |
| 15429 | * | T | T |
| 21832 | F | T | T |
| 21833 | * | T | T |
| 21834 | * | T | T |
| 21835 | * | T | T |
| 21836 | * | T | T |
| 21837 | * | T | T |
| 21838 | * | T | T |
| 24575 | F | T | T |
| 24576 | * | T | T |
| 24577 | * | T | T |
| 24578 | * | T | T |
| 24579 | * | T | T |
| 24580 | * | T | T |
| 24581 | * | T | T |
| 27218 | F | T | T |
| 27219 | * | T | T |
| 27220 | * | T | T |
| 27221 | * | T | T |
| 27222 | * | T | T |
| 27223 | * | T | T |
| 27224 | * | T | T |
| 30944 | F | T | T |
| 30945 | * | T | T |
| 30946 | * | T | T |
| 30947 | * | T | T |
| 30948 | * | T | T |
| 30949 | * | T | T |
| 30950 | * | T | T |
| 51799 | F | T | T |
| 51800 | * | T | T |
| 51801 | * | T | T |
| 51802 | * | T | T |
| 51803 | * | T | T |
| 51804 | * | T | T |
| 51805 | * | T | T |
| 72717 | F | T | T |
| 72718 | * | T | T |
| 72719 | * | T | T |
| 72720 | * | T | T |
| 72721 | * | T | T |
| 72722 | * | T | T |
| 72723 | * | T | T |
| 82600 | F | T | T |
| 82601 | * | T | T |
| 82602 | * | T | T |
| 82603 | * | T | T |
| 82604 | * | T | T |
| 82605 | * | T | T |
| 82606 | * | T | T |
| 92408 | F | T | T |
| 92409 | * | T | T |
| 92410 | * | T | T |
| 92411 | * | T | T |
| 92412 | * | T | T |
| 92413 | * | T | T |
| 92414 | * | T | T |
| 92415 | * | T | T |
| 92416 | * | T | T |
| 92417 | * | T | T |
| 100237 | F | T | T |
| 100238 | * | T | T |
| 100239 | * | T | T |
| 100240 | * | T | T |
| 100241 | * | T | T |
| 100242 | * | T | T |
| 100243 | * | T | T |
| 100244 | * | T | T |
| 100245 | * | T | T |
| 100246 | * | T | T |
| 108726 | F | T | T |
| 108727 | * | T | T |
| 108728 | * | T | T |
| 108729 | * | T | T |
| 108730 | * | T | T |
| 108731 | * | T | T |
| 108732 | * | T | T |
| 108733 | * | T | T |
| 108734 | * | T | T |
| 108735 | * | T | T |
| 116752 | F | T | T |
| 116753 | * | T | T |
| 116754 | * | T | T |
| 116755 | * | T | T |
| 116756 | * | T | T |
| 116757 | * | T | T |
| 116758 | * | T | T |
| 116759 | * | T | T |
| 116760 | * | T | T |
| 116761 | * | T | T |
| 124684 | F | T | T |
| 124685 | * | T | T |
| 124686 | * | T | T |
| 124687 | * | T | T |
| 124688 | * | T | T |
| 124689 | * | T | T |
| 124690 | * | T | T |
| 141403 | F | T | T |
| 141404 | * | T | T |
| 141405 | * | T | T |
| 141406 | * | T | T |
| 141407 | * | T | T |
| 141408 | * | T | T |
| 141409 | * | T | T |
| 158969 | F | T | T |
| 158970 | * | T | T |
| 158971 | * | T | T |
| 158972 | * | T | T |
| 158973 | * | T | T |
| 158974 | * | T | T |
| 158975 | * | T | T |
| 158976 | * | T | T |
| 158977 | * | T | T |
| 158978 | * | T | T |
| 158979 | * | T | T |
| 158980 | * | T | T |
| 168827 | F | T | T |
| 168828 | * | T | T |
| 168829 | * | T | T |
| 168830 | * | T | T |
| 168831 | * | T | T |
| 168832 | * | T | T |
| 168833 | * | T | T |
| 168834 | * | T | T |
| 168835 | * | T | T |
| 168836 | * | T | T |
| 168837 | * | T | T |
| 168838 | * | T | T |
| 176779 | F | T | T |
| 176780 | * | T | T |
| 176781 | * | T | T |
| 176782 | * | T | T |
| 176783 | * | T | T |
| 176784 | * | T | T |
| 176785 | * | T | T |
| 176786 | * | T | T |
| 176787 | * | T | T |
| 176788 | * | T | T |
| 181329 | F | T | T |
| 181330 | * | T | T |
| 181331 | * | T | T |
| 181332 | * | T | T |
| 181333 | * | T | T |
| 181334 | * | T | T |
| 181335 | * | T | T |
| 181336 | * | T | T |
| 184648 | F | T | T |
| 184649 | * | T | T |
| 184650 | * | T | T |
| 184651 | * | T | T |
| 184652 | * | T | T |
| 184653 | * | T | T |
| 184654 | * | T | T |
| 184655 | * | T | T |
| 187756 | F | T | T |
| 187757 | * | T | T |
| 187758 | * | T | T |
| 187759 | * | T | T |
| 187760 | * | T | T |
| 187761 | * | T | T |
| 187762 | * | T | T |
| 187763 | * | T | T |
| 191378 | F | T | T |
| 191379 | * | T | T |
| 191380 | * | T | T |
| 191381 | * | T | T |
| 191382 | * | T | T |
| 191383 | * | T | T |
| 191384 | * | T | T |
| 191385 | * | T | T |
| 191386 | * | T | T |
| 197105 | F | T | T |
| 197106 | * | T | T |
| 197107 | * | T | T |
| 197108 | * | T | T |
| 197109 | * | T | T |
| 197110 | * | T | T |
| 197111 | * | T | T |
| 197112 | * | T | T |
| 197113 | * | T | T |
| 197114 | * | T | T |
| 197115 | * | T | T |
| 203439 | F | T | T |
| 203440 | * | T | T |
| 203441 | * | T | T |
| 203442 | * | T | T |
| 203443 | * | T | T |
| 203444 | * | T | T |
| 203445 | * | T | T |
| 203446 | * | T | T |
| 203447 | * | T | T |
| 208452 | F | T | T |
| 208453 | * | T | T |
| 208454 | * | T | T |
| 208455 | * | T | T |
| 208456 | * | T | T |
| 208457 | * | T | T |
| 208458 | * | T | T |
| 208459 | * | T | T |
| 208460 | * | T | T |
| 208461 | * | T | T |
| 216008 | F | T | T |
| 216009 | * | T | T |
| 216010 | * | T | T |
| 216011 | * | T | T |
| 216012 | * | T | T |
| 216013 | * | T | T |
| 216014 | * | T | T |
| 216015 | * | T | T |
| 216016 | * | T | T |
| 224420 | F | T | T |
| 224421 | * | T | T |
| 224422 | * | T | T |
| 224423 | * | T | T |
| 224424 | * | T | T |
| 224425 | * | T | T |
| 224426 | * | T | T |
| 301797 | F | T | T |
| 301798 | * | T | T |
| 301799 | * | T | T |
| 301800 | * | T | T |
| 301801 | * | T | T |
| 301802 | * | T | T |
| 301803 | * | T | T |
| 377194 | F | T | T |
| 377195 | * | T | T |
| 377196 | * | T | T |
| 377197 | * | T | T |
| 377198 | * | T | T |
| 377199 | * | T | T |
| 377200 | * | T | T |
| 379851 | F | T | T |
| 379852 | * | T | T |
| 379853 | * | T | T |
| 379854 | * | T | T |
| 379855 | * | T | T |
| 379856 | * | T | T |
| 379857 | * | T | T |
| 382735 | F | T | T |
| 382736 | * | T | T |
| 382737 | * | T | T |
| 382738 | * | T | T |
| 382739 | * | T | T |
| 382740 | * | T | T |
| 382741 | * | T | T |
Independent-effect pairs
c0(branch4591): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:2196 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch4592): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:2193 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043