Decision #1006 — library/alloc/src/raw_vec/mod.rs:436
Status: no_witness
Truth table
| row | c0 br 6417 | c1 br 6418 | outcome |
|---|---|---|---|
| 38131 | F | T | T |
| 38132 | F | T | T |
| 38133 | F | T | T |
| 38134 | F | T | T |
| 38135 | F | T | T |
| 38136 | F | T | T |
| 38137 | F | T | T |
| 38138 | F | T | T |
| 58985 | F | T | T |
| 58986 | F | T | T |
| 58987 | F | T | T |
| 58988 | F | T | T |
| 58989 | F | T | T |
| 58990 | F | T | T |
| 58991 | F | T | T |
| 58992 | F | T | T |
| 74703 | F | T | T |
| 74704 | F | T | T |
| 74705 | F | T | T |
| 74706 | F | T | T |
| 84586 | F | T | T |
| 84587 | F | T | T |
| 84588 | F | T | T |
| 84589 | F | T | T |
| 131338 | F | T | T |
| 131339 | F | T | T |
| 131340 | F | T | T |
| 131341 | F | T | T |
| 131342 | F | T | T |
| 131343 | F | T | T |
| 131344 | F | T | T |
| 131345 | F | T | T |
| 148057 | F | T | T |
| 148058 | F | T | T |
| 148059 | F | T | T |
| 148060 | F | T | T |
| 148061 | F | T | T |
| 148062 | F | T | T |
| 148063 | F | T | T |
| 148064 | F | T | T |
| 251141 | F | T | T |
| 251142 | F | T | T |
| 251143 | F | T | T |
| 251144 | F | T | T |
| 251145 | F | T | T |
| 251146 | F | T | T |
| 251147 | F | T | T |
| 251148 | F | T | T |
| 328518 | F | T | T |
| 328519 | F | T | T |
| 328520 | F | T | T |
| 328521 | F | T | T |
| 328522 | F | T | T |
| 328523 | F | T | T |
| 328524 | F | T | T |
| 328525 | F | T | T |
Independent-effect pairs
c0(branch6417): GAP view gap →scry_octagon::leq· br_ifc1(branch6418): GAP view gap →scry_octagon::leq· br_if