Decision #676 — library/alloc/src/vec/mod.rs:1873
Status: no_witness
Truth table
| row | c0 br 4633 | c1 br 4634 | outcome |
|---|---|---|---|
| 1639 | * | T | T |
| 1640 | * | T | T |
| 1641 | * | T | T |
| 1642 | * | T | T |
| 1643 | * | F | T |
| 8599 | * | T | T |
| 8600 | * | T | T |
| 8601 | * | T | T |
| 8602 | * | T | T |
| 8603 | * | F | T |
| 15400 | * | T | T |
| 15401 | * | T | T |
| 15402 | * | T | T |
| 15403 | * | T | T |
| 15404 | * | F | T |
| 21829 | * | F | T |
| 24572 | * | F | T |
| 27215 | * | F | T |
| 30940 | * | F | T |
| 51795 | * | F | T |
| 72714 | * | F | T |
| 82597 | * | F | T |
| 92401 | * | T | T |
| 92402 | * | T | T |
| 92403 | * | F | T |
| 100230 | * | T | T |
| 100231 | * | T | T |
| 100232 | * | F | T |
| 108719 | * | T | T |
| 108720 | * | T | T |
| 108721 | * | F | T |
| 116745 | * | T | T |
| 116746 | * | T | T |
| 116747 | * | F | T |
| 124680 | * | F | T |
| 141399 | * | F | T |
| 158956 | * | T | T |
| 158957 | * | T | T |
| 158958 | * | T | T |
| 158959 | * | T | T |
| 158960 | * | T | T |
| 158961 | * | F | T |
| 168814 | * | T | T |
| 168815 | * | T | T |
| 168816 | * | T | T |
| 168817 | * | T | T |
| 168818 | * | T | T |
| 168819 | * | F | T |
| 176774 | * | T | T |
| 176775 | * | T | T |
| 176776 | * | F | T |
| 181324 | * | F | T |
| 184643 | * | F | T |
| 187751 | * | F | T |
| 191373 | * | F | T |
| 197099 | * | T | T |
| 197100 | * | T | T |
| 197101 | * | F | T |
| 203434 | * | F | T |
| 208444 | * | T | T |
| 208445 | * | F | T |
| 216003 | * | F | T |
| 224417 | * | F | T |
| 301794 | * | F | T |
| 377190 | * | F | T |
| 379847 | * | F | T |
| 382731 | * | F | T |
Independent-effect pairs
c0(branch4633): DEAD view gap →scry_analyze_core::analyze· br_ifc1(branch4634): GAP view gap →scry_analyze_core::analyze· br_if