Decision #761 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 4846 | c1 br 4847 | outcome |
|---|---|---|---|
| 31164 | T | * | T |
| 31165 | T | * | T |
| 52018 | T | * | T |
| 52019 | T | * | T |
| 72986 | T | * | T |
| 72987 | T | * | T |
| 72988 | T | * | T |
| 72989 | T | * | T |
| 72990 | T | * | T |
| 72991 | T | * | T |
| 72992 | T | * | T |
| 72993 | T | * | T |
| 72994 | T | * | T |
| 72995 | T | * | T |
| 82869 | T | * | T |
| 82870 | T | * | T |
| 82871 | T | * | T |
| 82872 | T | * | T |
| 82873 | T | * | T |
| 82874 | T | * | T |
| 82875 | T | * | T |
| 82876 | T | * | T |
| 82877 | T | * | T |
| 82878 | T | * | T |
| 124930 | T | * | T |
| 124931 | T | * | T |
| 124932 | T | * | T |
| 124933 | T | * | T |
| 141649 | T | * | T |
| 141650 | T | * | T |
| 141651 | T | * | T |
| 141652 | T | * | T |
| 224775 | T | * | T |
| 224776 | T | * | T |
| 224777 | T | * | T |
| 224778 | T | * | T |
| 224779 | T | * | T |
| 224780 | T | * | T |
| 224781 | T | * | T |
| 224782 | T | * | T |
| 224783 | T | * | T |
| 224784 | T | * | T |
| 224785 | T | * | T |
| 224786 | T | * | T |
| 224787 | T | * | T |
| 224788 | T | * | T |
| 302152 | T | * | T |
| 302153 | T | * | T |
| 302154 | T | * | T |
| 302155 | T | * | T |
| 302156 | T | * | T |
| 302157 | T | * | T |
| 302158 | T | * | T |
| 302159 | T | * | T |
| 302160 | T | * | T |
| 302161 | T | * | T |
| 302162 | T | * | T |
| 302163 | T | * | T |
| 302164 | T | * | T |
| 302165 | T | * | T |
Independent-effect pairs
c0(branch4846): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_ifc1(branch4847): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if