Decision #517 — library/alloc/src/raw_vec/mod.rs:435
Status: partial
Truth table
| row | c0 br 3693 | c1 br 3712 | outcome |
|---|---|---|---|
| 1051 | * | T | T |
| 1052 | * | T | T |
| 1053 | * | T | T |
| 1054 | * | T | T |
| 1055 | * | F | F |
| 8011 | * | T | T |
| 8012 | * | T | T |
| 8013 | * | T | T |
| 8014 | * | T | T |
| 8015 | * | F | F |
| 14812 | * | T | T |
| 14813 | * | T | T |
| 14814 | * | T | T |
| 14815 | * | T | T |
| 14816 | * | F | F |
| 21663 | * | F | F |
| 24406 | * | F | F |
| 27049 | * | F | F |
| 30619 | * | F | F |
| 51474 | * | F | F |
| 72399 | * | F | F |
| 82282 | * | F | F |
| 91954 | * | T | T |
| 91955 | * | T | T |
| 91956 | * | F | F |
| 99783 | * | T | T |
| 99784 | * | T | T |
| 99785 | * | F | F |
| 108272 | * | T | T |
| 108273 | * | T | T |
| 108274 | * | F | F |
| 116298 | * | T | T |
| 116299 | * | T | T |
| 116300 | * | F | F |
| 124356 | * | F | F |
| 141075 | * | F | F |
| 158221 | * | T | T |
| 158222 | * | T | T |
| 158223 | * | T | T |
| 158224 | * | T | T |
| 158225 | * | T | T |
| 158226 | * | F | F |
| 168079 | * | T | T |
| 168080 | * | T | T |
| 168081 | * | T | T |
| 168082 | * | T | T |
| 168083 | * | T | T |
| 168084 | * | F | F |
| 176461 | * | T | T |
| 176462 | * | T | T |
| 176463 | * | F | F |
| 181167 | * | F | F |
| 184486 | * | F | F |
| 187594 | * | F | F |
| 191128 | * | F | F |
| 196414 | * | T | T |
| 196415 | * | T | T |
| 196416 | * | F | F |
| 203255 | * | F | F |
| 207747 | * | T | T |
| 207748 | * | F | F |
| 215609 | * | F | F |
| 224079 | * | F | F |
| 301456 | * | F | F |
| 377050 | * | F | F |
| 379707 | * | F | F |
| 382591 | * | F | F |
Independent-effect pairs
c0(branch3693): DEAD view gap →scry_analyze_core::compute_stack_usage· br_ifc1(branch3712): PROVED — pair rows1051,1055(masking)scry_analyze_core::compute_stack_usage· br_if