Decision #323 — library/alloc/src/raw_vec/mod.rs:435
Status: no_witness
Truth table
| row | c0 br 1738 | c1 br 1745 | c2 br 1758 | c3 br 1759 | c4 br 1760 | outcome |
|---|---|---|---|---|---|---|
| 229 | F | F | * | * | * | T |
| 230 | F | F | * | * | * | T |
| 231 | F | F | * | * | * | T |
| 232 | F | * | F | F | F | T |
| 233 | * | * | F | F | F | T |
| 234 | F | F | F | F | F | T |
| 235 | * | * | F | F | F | T |
| 236 | * | * | F | F | F | T |
| 237 | * | F | F | F | F | T |
| 7189 | F | F | * | * | * | T |
| 7190 | F | F | * | * | * | T |
| 7191 | F | F | * | * | * | T |
| 7192 | F | * | F | F | F | T |
| 7193 | * | * | F | F | F | T |
| 7194 | F | F | F | F | F | T |
| 7195 | * | * | F | F | F | T |
| 7196 | * | * | F | F | F | T |
| 7197 | * | F | F | F | F | T |
| 13927 | F | F | * | * | * | T |
| 13928 | F | F | * | * | * | T |
| 13929 | F | F | * | * | * | T |
| 13930 | F | * | F | F | F | T |
| 13931 | * | * | F | F | F | T |
| 13932 | F | F | F | F | F | T |
| 13933 | * | * | F | F | F | T |
| 13934 | * | * | F | F | F | T |
| 13935 | * | F | F | F | F | T |
| 21237 | F | F | * | * | * | T |
| 23980 | F | F | * | * | * | T |
| 26623 | F | F | * | * | * | T |
| 29576 | F | F | * | * | * | T |
| 50431 | F | F | * | * | * | T |
| 71138 | F | F | * | * | * | T |
| 81021 | F | F | * | * | * | T |
| 90881 | F | F | * | * | * | T |
| 90882 | F | F | F | F | F | T |
| 90883 | F | F | F | F | F | T |
| 98655 | F | F | * | * | * | T |
| 98656 | F | F | F | F | F | T |
| 98657 | F | F | F | F | F | T |
| 107149 | F | F | * | * | * | T |
| 107150 | F | F | F | F | F | T |
| 107151 | F | F | F | F | F | T |
| 115225 | F | F | * | * | * | T |
| 115226 | F | F | F | F | F | T |
| 115227 | F | F | F | F | F | T |
| 123073 | F | F | * | * | * | T |
| 139792 | F | F | * | * | * | T |
| 156501 | F | F | * | * | * | T |
| 156502 | F | F | * | * | * | T |
| 156503 | F | F | * | * | * | T |
| 156504 | F | F | * | * | * | T |
| 156505 | F | F | * | * | * | T |
| 156506 | F | F | * | * | * | T |
| 166359 | F | F | * | * | * | T |
| 166360 | F | F | * | * | * | T |
| 166361 | F | F | * | * | * | T |
| 166362 | F | F | * | * | * | T |
| 166363 | F | F | * | * | * | T |
| 166364 | F | F | * | * | * | T |
| 176115 | F | * | F | T | * | T |
| 176116 | F | F | * | * | * | T |
| 176117 | F | F | * | * | * | T |
| 176118 | * | F | * | * | * | T |
| 180823 | F | F | * | * | * | T |
| 184143 | F | F | * | * | * | T |
| 187250 | F | F | * | * | * | T |
| 190596 | F | F | * | * | * | T |
| 195007 | F | F | * | * | * | T |
| 195008 | F | F | F | F | F | T |
| 195009 | F | F | F | F | F | T |
| 202907 | F | F | * | * | * | T |
| 206420 | F | F | * | * | * | T |
| 206421 | F | F | F | F | F | T |
| 214698 | F | F | F | F | F | T |
| 222315 | F | F | * | * | * | T |
| 299692 | F | F | * | * | * | T |
| 376744 | F | F | * | * | * | T |
| 379381 | F | F | * | * | * | T |
| 382265 | F | F | * | * | * | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::tarjan_sccs — 5 br_if
c0(branch1738): GAP view gap →c1(branch1745): GAP view gap →c2(branch1758): GAP view gap →c3(branch1759): GAP view gap →c4(branch1760): GAP view gap →