Decision #263 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 1352 | c1 br 1353 | c2 br 1363 | c3 br 1365 | c4 br 1366 | outcome |
|---|---|---|---|---|---|---|
| 148 | F | F | F | F | F | T |
| 149 | F | F | F | F | F | T |
| 150 | F | F | F | F | F | T |
| 151 | F | F | F | F | F | T |
| 152 | F | F | F | F | F | T |
| 153 | T | * | * | * | * | T |
| 3942 | F | F | F | F | F | T |
| 3943 | F | F | F | F | F | T |
| 3944 | F | F | F | F | F | T |
| 3945 | F | F | F | F | F | T |
| 3946 | F | F | F | F | F | T |
| 3947 | T | * | * | * | * | T |
| 7625 | F | F | F | F | F | T |
| 7626 | F | F | F | F | F | T |
| 7627 | F | F | F | F | F | T |
| 7628 | F | F | F | F | F | T |
| 7629 | F | F | F | F | F | T |
| 7630 | T | * | * | * | * | T |
| 11707 | F | F | F | F | F | T |
| 11708 | T | * | * | * | * | T |
| 13083 | F | F | F | F | F | T |
| 13084 | T | * | * | * | * | T |
| 14408 | F | F | F | F | F | T |
| 14409 | T | * | * | * | * | T |
| 15899 | F | F | F | F | F | T |
| 15900 | T | * | * | * | * | T |
| 25379 | F | F | F | F | F | T |
| 25380 | T | * | * | * | * | T |
| 34841 | F | F | F | F | F | T |
| 34842 | T | * | * | * | * | T |
| 41054 | F | F | F | F | F | T |
| 41055 | T | * | * | * | * | T |
| 47222 | F | F | F | F | F | T |
| 47223 | F | F | F | F | F | T |
| 47224 | F | F | F | F | F | T |
| 47225 | T | * | * | * | * | T |
| 51350 | F | F | F | F | F | T |
| 51351 | F | F | F | F | F | T |
| 51352 | F | F | F | F | F | T |
| 51353 | T | * | * | * | * | T |
| 55888 | F | F | F | F | F | T |
| 55889 | F | F | F | F | F | T |
| 55890 | F | F | F | F | F | T |
| 55891 | T | * | * | * | * | T |
| 60146 | F | F | F | F | F | T |
| 60147 | F | F | F | F | F | T |
| 60148 | F | F | F | F | F | T |
| 60149 | T | * | * | * | * | T |
| 64314 | F | F | F | F | F | T |
| 64315 | T | * | * | * | * | T |
| 75827 | F | F | F | F | F | T |
| 75828 | T | * | * | * | * | T |
| 87373 | F | F | F | F | F | T |
| 87374 | F | F | F | F | F | T |
| 87375 | F | F | F | F | F | T |
| 87376 | F | F | F | F | F | T |
| 87377 | F | F | F | F | F | T |
| 87378 | F | F | F | F | F | T |
| 87379 | T | * | * | * | * | T |
| 91641 | F | F | F | F | F | T |
| 91642 | F | F | F | F | F | T |
| 91643 | F | F | F | F | F | T |
| 91644 | F | F | F | F | F | T |
| 91645 | F | F | F | F | F | T |
| 91646 | F | F | F | F | F | T |
| 91647 | T | * | * | * | * | T |
| 95776 | F | F | F | F | F | T |
| 95777 | F | F | F | F | F | T |
| 95778 | F | F | F | F | F | T |
| 95779 | T | * | * | * | * | T |
| 97790 | F | F | F | F | F | T |
| 97791 | T | * | * | * | * | T |
| 99308 | F | F | F | F | F | T |
| 99309 | T | * | * | * | * | T |
| 100723 | F | F | F | F | F | T |
| 100724 | T | * | * | * | * | T |
| 102292 | F | F | F | F | F | T |
| 102293 | T | * | * | * | * | T |
| 104957 | F | F | F | F | F | T |
| 104958 | F | F | F | F | F | T |
| 104959 | F | F | F | F | F | T |
| 104960 | T | * | * | * | * | T |
| 108751 | F | F | F | F | F | T |
| 108752 | T | * | * | * | * | T |
| 110885 | F | F | F | F | F | T |
| 110886 | F | F | F | F | F | T |
| 110887 | T | * | * | * | * | T |
| 114099 | F | F | F | F | F | T |
| 114100 | T | * | * | * | * | T |
| 117410 | F | F | F | F | F | T |
| 117411 | T | * | * | * | * | T |
| 140346 | F | F | F | F | F | T |
| 140347 | T | * | * | * | * | T |
| 163025 | F | F | F | F | F | T |
| 163026 | T | * | * | * | * | T |
| 164580 | F | F | F | F | F | T |
| 164581 | T | * | * | * | * | T |
| 166302 | F | F | F | F | F | T |
| 166303 | T | * | * | * | * | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::tarjan_sccs — 5 br_if
c0(branch1352): GAP view gap →c1(branch1353): GAP view gap →c2(branch1363): GAP view gap →c3(branch1365): GAP view gap →c4(branch1366): GAP view gap →