Decision #430 — library/alloc/src/raw_vec/mod.rs:442
Status: no_witness
Truth table
| row | c0 br 2900 | c1 br 2901 | outcome |
|---|---|---|---|
| 17743 | T | * | T |
| 17744 | T | * | T |
| 17745 | T | * | T |
| 17746 | T | * | T |
| 17747 | F | F | T |
| 17748 | T | * | T |
| 17749 | T | * | T |
| 17750 | T | * | T |
| 17751 | T | * | T |
| 17752 | F | F | T |
| 25461 | T | * | T |
| 25462 | T | * | T |
| 25463 | T | * | T |
| 25464 | T | * | T |
| 25465 | F | F | T |
| 25466 | T | * | T |
| 25467 | T | * | T |
| 25468 | T | * | T |
| 25469 | T | * | T |
| 25470 | F | F | T |
| 31098 | T | * | T |
| 31099 | T | * | T |
| 31100 | F | F | T |
| 31101 | T | * | T |
| 31102 | T | * | T |
| 31103 | F | F | T |
| 37036 | T | * | T |
| 37037 | T | * | T |
| 37038 | F | F | T |
| 37039 | T | * | T |
| 37040 | T | * | T |
| 37041 | F | F | T |
| 59046 | T | * | T |
| 59047 | T | * | T |
| 59048 | T | * | T |
| 59049 | T | * | T |
| 59050 | F | F | T |
| 59051 | T | * | T |
| 59052 | T | * | T |
| 59053 | T | * | T |
| 59054 | T | * | T |
| 59055 | F | F | T |
| 68818 | T | * | T |
| 68819 | T | * | T |
| 68820 | T | * | T |
| 68821 | T | * | T |
| 68822 | F | F | T |
| 68823 | T | * | T |
| 68824 | T | * | T |
| 68825 | T | * | T |
| 68826 | T | * | T |
| 68827 | F | F | T |
| 106181 | T | * | T |
| 106182 | T | * | T |
| 106183 | T | * | T |
| 106184 | T | * | T |
| 106185 | F | F | T |
| 106186 | T | * | T |
| 106187 | T | * | T |
| 106188 | T | * | T |
| 106189 | T | * | T |
| 106190 | F | F | T |
| 125044 | T | * | T |
| 125045 | T | * | T |
| 125046 | T | * | T |
| 125047 | T | * | T |
| 125048 | F | F | T |
| 125049 | T | * | T |
| 125050 | T | * | T |
| 125051 | T | * | T |
| 125052 | T | * | T |
| 125053 | F | F | T |
Independent-effect pairs
c0(branch2900): GAP view gap →scry_octagon::leq· br_ifc1(branch2901): GAP view gap →scry_octagon::leq· br_if