Decision #777 — library/core/src/ptr/mut_ptr.rs:961
Status: no_witness
Truth table
| row | c0 br 5190 | c1 br 5191 | outcome |
|---|---|---|---|
| 22143 | T | * | T |
| 22144 | T | * | T |
| 22145 | T | * | T |
| 22146 | F | F | T |
| 22147 | T | * | T |
| 22148 | T | * | T |
| 22149 | T | * | T |
| 22150 | F | F | T |
| 31621 | T | * | T |
| 31622 | T | * | T |
| 31623 | T | * | T |
| 31624 | F | F | T |
| 31625 | T | * | T |
| 31626 | T | * | T |
| 31627 | T | * | T |
| 31628 | F | F | T |
| 37874 | T | * | T |
| 37875 | F | F | T |
| 37876 | T | * | T |
| 37877 | F | F | T |
| 44087 | T | * | T |
| 44088 | F | F | T |
| 44089 | T | * | T |
| 44090 | F | F | T |
| 72151 | T | * | T |
| 72152 | T | * | T |
| 72153 | T | * | T |
| 72154 | F | F | T |
| 72155 | T | * | T |
| 72156 | T | * | T |
| 72157 | T | * | T |
| 72158 | F | F | T |
| 83664 | T | * | T |
| 83665 | T | * | T |
| 83666 | T | * | T |
| 83667 | F | F | T |
| 83668 | T | * | T |
| 83669 | T | * | T |
| 83670 | T | * | T |
| 83671 | F | F | T |
| 134315 | T | * | T |
| 134316 | T | * | T |
| 134317 | T | * | T |
| 134318 | F | F | T |
| 134319 | T | * | T |
| 134320 | T | * | T |
| 134321 | T | * | T |
| 134322 | F | F | T |
| 157251 | T | * | T |
| 157252 | T | * | T |
| 157253 | T | * | T |
| 157254 | F | F | T |
| 157255 | T | * | T |
| 157256 | T | * | T |
| 157257 | T | * | T |
| 157258 | F | F | T |
Independent-effect pairs
c0(branch5190): GAP view gap →scry_octagon::leq· br_ifc1(branch5191): GAP view gap →scry_octagon::leq· br_if