Decision #47 — library/alloc/src/vec/mod.rs:2817
Status: no_witness
Truth table
| row | c0 br 281 | c1 br 283 | outcome |
|---|---|---|---|
| 228 | * | T | T |
| 229 | * | T | T |
| 230 | * | T | T |
| 231 | T | T | T |
| 232 | * | T | T |
| 233 | * | T | T |
| 234 | * | T | T |
| 235 | * | T | T |
| 236 | T | T | T |
| 237 | * | T | T |
| 3268 | * | T | T |
| 3269 | * | T | T |
| 3270 | * | T | T |
| 3271 | T | T | T |
| 3272 | * | T | T |
| 3273 | * | T | T |
| 3274 | * | T | T |
| 3275 | * | T | T |
| 3276 | T | T | T |
| 3277 | * | T | T |
| 6163 | * | T | T |
| 6164 | * | T | T |
| 6165 | * | T | T |
| 6166 | T | T | T |
| 6167 | * | T | T |
| 6168 | * | T | T |
| 6169 | * | T | T |
| 6170 | * | T | T |
| 6171 | T | T | T |
| 6172 | * | T | T |
| 9473 | * | T | T |
| 9474 | * | T | T |
| 10621 | * | T | T |
| 10622 | * | T | T |
| 11712 | * | T | T |
| 11713 | * | T | T |
| 13137 | T | F | T |
| 13138 | T | F | T |
| 20855 | T | F | T |
| 20856 | T | F | T |
| 28379 | * | F | T |
| 28380 | * | F | T |
| 34317 | * | F | T |
| 34318 | * | F | T |
| 40271 | T | T | T |
| 40272 | T | T | T |
| 40273 | T | T | T |
| 40274 | * | T | T |
| 40275 | T | T | T |
| 40276 | * | T | T |
| 43239 | T | T | T |
| 43240 | T | T | T |
| 43241 | T | T | T |
| 43242 | * | T | T |
| 43243 | T | T | T |
| 43244 | * | T | T |
| 46692 | T | T | T |
| 46693 | T | T | T |
| 46694 | T | T | T |
| 46695 | * | T | T |
| 46696 | T | T | T |
| 46697 | * | T | T |
| 49811 | T | T | T |
| 49812 | T | T | T |
| 49813 | T | T | T |
| 49814 | * | T | T |
| 49815 | T | T | T |
| 49816 | * | T | T |
| 52916 | T | F | T |
| 52917 | T | F | T |
| 62688 | T | F | T |
| 62689 | T | F | T |
| 72356 | * | T | T |
| 72357 | * | T | T |
| 72358 | * | T | T |
| 72359 | * | T | T |
| 72360 | * | T | T |
| 72361 | * | T | T |
| 72362 | * | T | T |
| 72363 | * | T | T |
| 72364 | * | T | T |
| 72365 | * | T | T |
| 72366 | * | T | T |
| 72367 | * | T | T |
| 75831 | * | T | T |
| 75832 | * | T | T |
| 75833 | * | T | T |
| 75834 | * | T | T |
| 75835 | * | T | T |
| 75836 | * | T | T |
| 75837 | * | T | T |
| 75838 | * | T | T |
| 75839 | * | T | T |
| 75840 | * | T | T |
| 75841 | * | T | T |
| 75842 | * | T | T |
| 79135 | * | T | T |
| 79136 | * | T | T |
| 79137 | * | T | T |
| 79138 | * | T | T |
| 79139 | * | T | T |
| 79140 | * | T | T |
| 80701 | * | T | T |
| 80702 | * | T | T |
| 81888 | * | T | T |
| 81889 | * | T | T |
| 82950 | * | T | T |
| 82951 | * | T | T |
| 84134 | T | T | T |
| 84135 | T | T | T |
| 85468 | * | T | T |
| 85469 | * | T | T |
| 85470 | * | T | T |
| 85471 | * | T | T |
| 85472 | * | T | T |
| 85473 | * | T | T |
| 87535 | T | T | T |
| 87536 | T | T | T |
| 88771 | * | T | T |
| 88772 | * | T | T |
| 88773 | * | T | T |
| 88774 | * | T | T |
| 90756 | T | T | T |
| 90757 | T | T | T |
| 92395 | * | F | T |
| 92396 | * | F | T |
| 111258 | * | F | T |
| 111259 | * | F | T |
| 129939 | T | T | T |
| 129940 | T | T | T |
| 131098 | T | T | T |
| 131099 | T | T | T |
| 132425 | T | T | T |
| 132426 | T | T | T |
Independent-effect pairs
c0(branch281): GAP view gap →scry_analyze_core::top_input_locals· br_if
inlined: lib.rs:2075c1(branch283): GAP view gap →scry_analyze_core::top_input_locals· br_if