Decision #438 — library/core/src/ptr/mut_ptr.rs:961
Status: no_witness
Truth table
| row | c0 br 2934 | c1 br 2935 | c2 br 2936 | outcome |
|---|---|---|---|---|
| 18046 | T | F | F | T |
| 18047 | T | F | F | T |
| 18048 | T | F | F | T |
| 18049 | T | F | F | T |
| 18050 | T | F | F | T |
| 18051 | T | F | F | T |
| 18052 | T | F | F | T |
| 18053 | T | F | F | T |
| 25764 | T | F | F | T |
| 25765 | T | F | F | T |
| 25766 | T | F | F | T |
| 25767 | T | F | F | T |
| 25768 | T | F | F | T |
| 25769 | T | F | F | T |
| 25770 | T | F | F | T |
| 25771 | T | F | F | T |
| 31501 | T | F | F | T |
| 31502 | T | F | F | T |
| 31503 | T | F | F | T |
| 31504 | T | F | F | T |
| 31505 | T | F | F | T |
| 31506 | T | F | F | T |
| 31507 | T | F | F | T |
| 31508 | T | F | F | T |
| 31509 | T | F | F | T |
| 31510 | T | F | F | T |
| 31511 | T | F | F | T |
| 31512 | T | F | F | T |
| 31513 | T | F | F | T |
| 31514 | T | F | F | T |
| 31515 | T | F | F | T |
| 31516 | T | F | F | T |
| 31517 | T | F | F | T |
| 31518 | T | F | F | T |
| 31519 | T | F | F | T |
| 31520 | T | F | F | T |
| 31521 | T | F | F | T |
| 31522 | T | F | F | T |
| 31523 | T | F | F | T |
| 31524 | T | F | F | T |
| 31525 | T | F | F | T |
| 31526 | T | F | F | T |
| 31527 | T | F | F | T |
| 31528 | T | F | F | T |
| 37439 | T | F | F | T |
| 37440 | T | F | F | T |
| 37441 | T | F | F | T |
| 37442 | T | F | F | T |
| 37443 | T | F | F | T |
| 37444 | T | F | F | T |
| 37445 | T | F | F | T |
| 37446 | T | F | F | T |
| 37447 | T | F | F | T |
| 37448 | T | F | F | T |
| 37449 | T | F | F | T |
| 37450 | T | F | F | T |
| 37451 | T | F | F | T |
| 37452 | T | F | F | T |
| 37453 | T | F | F | T |
| 37454 | T | F | F | T |
| 37455 | T | F | F | T |
| 37456 | T | F | F | T |
| 37457 | T | F | F | T |
| 37458 | T | F | F | T |
| 37459 | T | F | F | T |
| 37460 | T | F | F | T |
| 37461 | T | F | F | T |
| 37462 | T | F | F | T |
| 37463 | T | F | F | T |
| 37464 | T | F | F | T |
| 37465 | T | F | F | T |
| 37466 | T | F | F | T |
| 59493 | T | F | F | T |
| 59494 | T | F | F | T |
| 59495 | T | F | F | T |
| 59496 | T | F | F | T |
| 59497 | T | F | F | T |
| 59498 | T | F | F | T |
| 59499 | T | F | F | T |
| 59500 | T | F | F | T |
| 59501 | T | F | F | T |
| 59502 | T | F | F | T |
| 59503 | T | F | F | T |
| 59504 | T | F | F | T |
| 69265 | T | F | F | T |
| 69266 | T | F | F | T |
| 69267 | T | F | F | T |
| 69268 | T | F | F | T |
| 69269 | T | F | F | T |
| 69270 | T | F | F | T |
| 69271 | T | F | F | T |
| 69272 | T | F | F | T |
| 69273 | T | F | F | T |
| 69274 | T | F | F | T |
| 69275 | T | F | F | T |
| 69276 | T | F | F | T |
| 107068 | T | F | F | T |
| 107069 | T | F | F | T |
| 107070 | T | F | F | T |
| 107071 | T | F | F | T |
| 107072 | T | F | F | T |
| 107073 | T | F | F | T |
| 107074 | T | F | F | T |
| 107075 | T | F | F | T |
| 107076 | T | F | F | T |
| 107077 | T | F | F | T |
| 107078 | T | F | F | T |
| 107079 | T | F | F | T |
| 107080 | T | F | F | T |
| 107081 | T | F | F | T |
| 107082 | T | F | F | T |
| 107083 | T | F | F | T |
| 107084 | T | F | F | T |
| 107085 | T | F | F | T |
| 107086 | T | F | F | T |
| 107087 | T | F | F | T |
| 107088 | T | F | F | T |
| 107089 | T | F | F | T |
| 107090 | T | F | F | T |
| 107091 | T | F | F | T |
| 125931 | T | F | F | T |
| 125932 | T | F | F | T |
| 125933 | T | F | F | T |
| 125934 | T | F | F | T |
| 125935 | T | F | F | T |
| 125936 | T | F | F | T |
| 125937 | T | F | F | T |
| 125938 | T | F | F | T |
| 125939 | T | F | F | T |
| 125940 | T | F | F | T |
| 125941 | T | F | F | T |
| 125942 | T | F | F | T |
| 125943 | T | F | F | T |
| 125944 | T | F | F | T |
| 125945 | T | F | F | T |
| 125946 | T | F | F | T |
| 125947 | T | F | F | T |
| 125948 | T | F | F | T |
| 125949 | T | F | F | T |
| 125950 | T | F | F | T |
| 125951 | T | F | F | T |
| 125952 | T | F | F | T |
| 125953 | T | F | F | T |
| 125954 | T | F | F | T |
Independent-effect pairs
All 3 conditions live in scry_octagon::join — 3 br_if
c0(branch2934): GAP view gap →c1(branch2935): GAP view gap →c2(branch2936): GAP view gap →