Decision #355 — library/alloc/src/vec/mod.rs:2854
Status: partial
Truth table
| row | c0 br 2106 | c1 br 2241 | c2 br 2260 | outcome |
|---|---|---|---|---|
| 675 | F | * | * | F |
| 676 | F | * | * | F |
| 677 | F | * | * | F |
| 678 | F | * | * | F |
| 679 | T | * | * | T |
| 7635 | F | * | * | F |
| 7636 | F | * | * | F |
| 7637 | F | * | * | F |
| 7638 | F | * | * | F |
| 7639 | T | * | * | T |
| 14376 | F | * | * | F |
| 14377 | F | * | * | F |
| 14378 | F | * | * | F |
| 14379 | F | * | * | F |
| 14380 | T | * | * | T |
| 21517 | F | T | * | T |
| 24260 | F | T | * | T |
| 26903 | F | T | * | T |
| 30225 | T | * | * | T |
| 51080 | T | * | * | T |
| 71677 | F | * | * | F |
| 81560 | F | * | * | F |
| 91487 | T | T | * | T |
| 91488 | F | * | * | F |
| 91489 | T | * | F | F |
| 99264 | T | T | * | T |
| 99265 | F | * | * | F |
| 99266 | T | * | F | F |
| 107755 | T | T | * | T |
| 107756 | F | * | * | F |
| 107757 | T | * | F | F |
| 115831 | T | T | * | T |
| 115832 | F | * | * | F |
| 115833 | T | * | F | F |
| 123762 | T | * | * | T |
| 140481 | T | * | * | T |
| 157598 | F | T | * | T |
| 157599 | F | T | * | T |
| 157600 | F | * | T | T |
| 157601 | F | * | T | T |
| 157602 | F | * | * | F |
| 157603 | F | * | * | F |
| 167456 | F | T | * | T |
| 167457 | F | T | * | T |
| 167458 | F | * | T | T |
| 167459 | F | * | T | T |
| 167460 | F | * | * | F |
| 167461 | F | * | * | F |
| 176255 | F | * | * | F |
| 176256 | F | * | * | F |
| 176257 | F | * | * | F |
| 181025 | F | T | * | T |
| 184345 | F | T | * | T |
| 187452 | F | T | * | T |
| 190912 | T | * | * | T |
| 195760 | F | * | * | F |
| 195761 | F | * | * | F |
| 195762 | F | * | * | F |
| 203111 | T | * | * | T |
| 207102 | F | * | * | F |
| 207103 | F | * | * | F |
| 215280 | T | * | * | T |
| 223111 | F | * | * | F |
| 300488 | F | * | * | F |
| 376939 | T | T | * | T |
| 379576 | T | T | * | T |
| 382460 | T | T | * | T |
Independent-effect pairs
c0(branch2106): PROVED — pair rows675,679(masking)scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:4542c1(branch2241): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:4542c2(branch2260): GAP view gap →scry_analyze_core::compute_bit_facts· br_if