Decision #1012 — library/core/src/ptr/mut_ptr.rs:970
Status: no_witness
Truth table
| row | c0 br 6438 | c1 br 6440 | outcome |
|---|---|---|---|
| 2226 | * | T | T |
| 2227 | * | T | T |
| 2228 | * | T | T |
| 2229 | T | T | T |
| 2230 | T | * | T |
| 2231 | F | F | T |
| 2232 | * | T | T |
| 2233 | * | T | T |
| 2234 | * | T | T |
| 2235 | T | T | T |
| 2236 | T | * | T |
| 2237 | F | F | T |
| 9185 | * | T | T |
| 9186 | * | T | T |
| 9187 | * | T | T |
| 9188 | T | T | T |
| 9189 | T | * | T |
| 9190 | F | F | T |
| 9191 | * | T | T |
| 9192 | * | T | T |
| 9193 | * | T | T |
| 9194 | T | T | T |
| 9195 | T | * | T |
| 9196 | F | F | T |
| 15991 | * | T | T |
| 15992 | * | T | T |
| 15993 | * | T | T |
| 15994 | T | T | T |
| 15995 | T | * | T |
| 15996 | F | F | T |
| 15997 | * | T | T |
| 15998 | * | T | T |
| 15999 | * | T | T |
| 16000 | T | T | T |
| 16001 | T | * | T |
| 16002 | F | F | T |
| 22107 | * | T | T |
| 22108 | * | T | T |
| 24849 | * | T | T |
| 24850 | * | T | T |
| 27493 | * | T | T |
| 27494 | * | T | T |
| 38251 | T | * | T |
| 38252 | T | * | T |
| 38253 | T | * | T |
| 38254 | T | * | T |
| 38255 | T | * | T |
| 38256 | T | * | T |
| 38257 | F | F | T |
| 38258 | T | * | T |
| 38259 | T | * | T |
| 38260 | T | * | T |
| 38261 | T | * | T |
| 38262 | T | * | T |
| 38263 | T | * | T |
| 38264 | F | F | T |
| 59105 | T | * | T |
| 59106 | T | * | T |
| 59107 | T | * | T |
| 59108 | T | * | T |
| 59109 | T | * | T |
| 59110 | T | * | T |
| 59111 | F | F | T |
| 59112 | T | * | T |
| 59113 | T | * | T |
| 59114 | T | * | T |
| 59115 | T | * | T |
| 59116 | T | * | T |
| 59117 | T | * | T |
| 59118 | F | F | T |
| 74747 | T | * | T |
| 74748 | T | * | T |
| 74749 | F | F | T |
| 74750 | T | * | T |
| 74751 | T | * | T |
| 74752 | F | F | T |
| 84630 | T | * | T |
| 84631 | T | * | T |
| 84632 | F | F | T |
| 84633 | T | * | T |
| 84634 | T | * | T |
| 84635 | F | F | T |
| 93200 | T | * | T |
| 93201 | T | * | T |
| 93202 | F | F | T |
| 93203 | T | T | T |
| 93204 | T | * | T |
| 93205 | F | F | T |
| 93206 | T | * | T |
| 93207 | T | * | T |
| 93208 | F | F | T |
| 93209 | T | * | T |
| 93210 | T | * | T |
| 93211 | F | F | T |
| 93212 | T | T | T |
| 93213 | T | * | T |
| 93214 | F | F | T |
| 93215 | T | * | T |
| 93216 | T | * | T |
| 93217 | F | F | T |
| 101031 | T | * | T |
| 101032 | T | * | T |
| 101033 | F | F | T |
| 101034 | T | T | T |
| 101035 | T | * | T |
| 101036 | F | F | T |
| 101037 | T | * | T |
| 101038 | T | * | T |
| 101039 | F | F | T |
| 101040 | T | * | T |
| 101041 | T | * | T |
| 101042 | F | F | T |
| 101043 | T | T | T |
| 101044 | T | * | T |
| 101045 | F | F | T |
| 101046 | T | * | T |
| 101047 | T | * | T |
| 101048 | F | F | T |
| 109519 | T | * | T |
| 109520 | T | * | T |
| 109521 | F | F | T |
| 109522 | T | T | T |
| 109523 | T | * | T |
| 109524 | F | F | T |
| 109525 | T | * | T |
| 109526 | T | * | T |
| 109527 | F | F | T |
| 109528 | T | * | T |
| 109529 | T | * | T |
| 109530 | F | F | T |
| 109531 | T | T | T |
| 109532 | T | * | T |
| 109533 | F | F | T |
| 109534 | T | * | T |
| 109535 | T | * | T |
| 109536 | F | F | T |
| 117544 | T | * | T |
| 117545 | T | * | T |
| 117546 | F | F | T |
| 117547 | T | T | T |
| 117548 | T | * | T |
| 117549 | F | F | T |
| 117550 | T | * | T |
| 117551 | T | * | T |
| 117552 | F | F | T |
| 117553 | T | * | T |
| 117554 | T | * | T |
| 117555 | F | F | T |
| 117556 | T | T | T |
| 117557 | T | * | T |
| 117558 | F | F | T |
| 117559 | T | * | T |
| 117560 | T | * | T |
| 117561 | F | F | T |
| 131458 | T | * | T |
| 131459 | T | * | T |
| 131460 | T | * | T |
| 131461 | T | * | T |
| 131462 | T | * | T |
| 131463 | T | * | T |
| 131464 | F | F | T |
| 131465 | T | * | T |
| 131466 | T | * | T |
| 131467 | T | * | T |
| 131468 | T | * | T |
| 131469 | T | * | T |
| 131470 | T | * | T |
| 131471 | F | F | T |
| 148177 | T | * | T |
| 148178 | T | * | T |
| 148179 | T | * | T |
| 148180 | T | * | T |
| 148181 | T | * | T |
| 148182 | T | * | T |
| 148183 | F | F | T |
| 148184 | T | * | T |
| 148185 | T | * | T |
| 148186 | T | * | T |
| 148187 | T | * | T |
| 148188 | T | * | T |
| 148189 | T | * | T |
| 148190 | F | F | T |
| 159771 | * | T | T |
| 159772 | * | T | T |
| 159773 | * | T | T |
| 159774 | * | T | T |
| 159775 | * | T | T |
| 159776 | * | T | T |
| 159777 | * | T | T |
| 159778 | * | T | T |
| 159779 | * | T | T |
| 159780 | * | T | T |
| 159781 | * | T | T |
| 159782 | * | T | T |
| 169629 | * | T | T |
| 169630 | * | T | T |
| 169631 | * | T | T |
| 169632 | * | T | T |
| 169633 | * | T | T |
| 169634 | * | T | T |
| 169635 | * | T | T |
| 169636 | * | T | T |
| 169637 | * | T | T |
| 169638 | * | T | T |
| 169639 | * | T | T |
| 169640 | * | T | T |
| 177033 | * | T | T |
| 177034 | * | T | T |
| 177035 | * | T | T |
| 177036 | * | T | T |
| 177037 | * | T | T |
| 177038 | * | T | T |
| 177039 | * | T | T |
| 177040 | * | T | T |
| 177041 | * | T | T |
| 177042 | * | T | T |
| 181582 | * | T | T |
| 181583 | * | T | T |
| 184900 | * | T | T |
| 184901 | * | T | T |
| 188009 | * | T | T |
| 188010 | * | T | T |
| 191951 | T | * | T |
| 191952 | T | * | T |
| 191953 | F | F | T |
| 191954 | T | * | T |
| 191955 | T | * | T |
| 191956 | F | F | T |
| 197886 | * | T | T |
| 197887 | * | T | T |
| 197888 | * | T | T |
| 197889 | * | T | T |
| 197890 | * | T | T |
| 197891 | * | T | T |
| 203853 | T | * | T |
| 203854 | T | * | T |
| 203855 | F | F | T |
| 203856 | T | * | T |
| 203857 | T | * | T |
| 203858 | F | F | T |
| 208999 | * | T | T |
| 209000 | * | T | T |
| 209001 | * | T | T |
| 209002 | * | T | T |
| 209003 | * | T | T |
| 209004 | * | T | T |
| 209005 | * | T | T |
| 209006 | * | T | T |
| 216653 | T | * | T |
| 216654 | T | * | T |
| 216655 | F | F | T |
| 216656 | T | * | T |
| 216657 | T | * | T |
| 216658 | F | F | T |
| 216659 | T | * | T |
| 216660 | T | * | T |
| 216661 | F | F | T |
| 216662 | T | * | T |
| 216663 | T | * | T |
| 216664 | F | F | T |
| 251261 | T | * | T |
| 251262 | T | * | T |
| 251263 | T | * | T |
| 251264 | T | * | T |
| 251265 | T | * | T |
| 251266 | T | * | T |
| 251267 | F | F | T |
| 251268 | T | * | T |
| 251269 | T | * | T |
| 251270 | T | * | T |
| 251271 | T | * | T |
| 251272 | T | * | T |
| 251273 | T | * | T |
| 251274 | F | F | T |
| 328638 | T | * | T |
| 328639 | T | * | T |
| 328640 | T | * | T |
| 328641 | T | * | T |
| 328642 | T | * | T |
| 328643 | T | * | T |
| 328644 | F | F | T |
| 328645 | T | * | T |
| 328646 | T | * | T |
| 328647 | T | * | T |
| 328648 | T | * | T |
| 328649 | T | * | T |
| 328650 | T | * | T |
| 328651 | F | F | T |
| 377515 | T | * | T |
| 377516 | T | * | T |
| 377517 | F | F | T |
| 377518 | T | * | T |
| 377519 | T | * | T |
| 377520 | F | F | T |
| 380172 | T | * | T |
| 380173 | T | * | T |
| 380174 | F | F | T |
| 380175 | T | * | T |
| 380176 | T | * | T |
| 380177 | F | F | T |
| 383055 | T | * | T |
| 383056 | T | * | T |
| 383057 | F | F | T |
| 383058 | T | * | T |
| 383059 | T | * | T |
| 383060 | F | F | T |
Independent-effect pairs
c0(branch6438): GAP view gap →scry_octagon::top· br_ifc1(branch6440): GAP view gap →scry_octagon::top· br_if