Decision #787 — library/alloc/src/raw_vec/mod.rs:874
Status: no_witness
Truth table
| row | c0 br 5230 | c1 br 5231 | outcome |
|---|---|---|---|
| 38184 | T | * | T |
| 38185 | T | * | T |
| 38186 | T | * | T |
| 38187 | T | * | T |
| 38188 | T | * | T |
| 38189 | T | * | T |
| 38190 | T | * | T |
| 38191 | T | * | T |
| 44397 | T | * | T |
| 44398 | T | * | T |
| 44399 | T | * | T |
| 44400 | T | * | T |
| 44401 | T | * | T |
| 44402 | T | * | T |
| 44403 | T | * | T |
| 44404 | T | * | T |
| 135161 | T | * | T |
| 135162 | T | * | T |
| 135163 | T | * | T |
| 135164 | T | * | T |
| 135165 | T | * | T |
| 135166 | T | * | T |
| 135167 | T | * | T |
| 135168 | T | * | T |
| 135169 | T | * | T |
| 135170 | T | * | T |
| 135171 | T | * | T |
| 135172 | T | * | T |
| 135173 | T | * | T |
| 135174 | T | * | T |
| 135175 | T | * | T |
| 135176 | T | * | T |
| 135177 | T | * | T |
| 135178 | T | * | T |
| 135179 | T | * | T |
| 135180 | T | * | T |
| 135181 | T | * | T |
| 135182 | T | * | T |
| 135183 | T | * | T |
| 135184 | T | * | T |
| 135185 | T | * | T |
| 135186 | T | * | T |
| 135187 | T | * | T |
| 135188 | T | * | T |
| 135189 | T | * | T |
| 135190 | T | * | T |
| 135191 | T | * | T |
| 135192 | T | * | T |
| 158097 | T | * | T |
| 158098 | T | * | T |
| 158099 | T | * | T |
| 158100 | T | * | T |
| 158101 | T | * | T |
| 158102 | T | * | T |
| 158103 | T | * | T |
| 158104 | T | * | T |
| 158105 | T | * | T |
| 158106 | T | * | T |
| 158107 | T | * | T |
| 158108 | T | * | T |
| 158109 | T | * | T |
| 158110 | T | * | T |
| 158111 | T | * | T |
| 158112 | T | * | T |
| 158113 | T | * | T |
| 158114 | T | * | T |
| 158115 | T | * | T |
| 158116 | T | * | T |
| 158117 | T | * | T |
| 158118 | T | * | T |
| 158119 | T | * | T |
| 158120 | T | * | T |
| 158121 | T | * | T |
| 158122 | T | * | T |
| 158123 | T | * | T |
| 158124 | T | * | T |
| 158125 | T | * | T |
| 158126 | T | * | T |
| 158127 | T | * | T |
| 158128 | T | * | T |
Independent-effect pairs
c0(branch5230): GAP view gap →scry_octagon::widen· br_ifc1(branch5231): DEAD view gap →scry_octagon::widen· br_if