Decision #293 — library/alloc/src/vec/mod.rs:464
Status: full_mcdc
Truth table
| row | c0 br 2270 | c1 br 2279 | outcome |
|---|---|---|---|
| 834 | * | F | F |
| 835 | * | T | T |
| 836 | * | T | T |
| 837 | * | T | T |
| 838 | * | F | F |
| 3874 | * | F | F |
| 3875 | * | T | T |
| 3876 | * | T | T |
| 3877 | * | T | T |
| 3878 | * | F | F |
| 6819 | * | F | F |
| 6820 | * | T | T |
| 6821 | * | T | T |
| 6822 | * | T | T |
| 6823 | * | F | F |
| 9680 | * | F | F |
| 10828 | * | F | F |
| 11919 | * | F | F |
| 13695 | F | F | F |
| 21413 | F | F | F |
| 29424 | F | F | F |
| 35362 | F | F | F |
| 40878 | * | F | F |
| 40879 | * | T | T |
| 40880 | * | T | T |
| 43889 | * | F | F |
| 43890 | * | T | T |
| 43891 | * | T | T |
| 47342 | * | F | F |
| 47343 | * | T | T |
| 47344 | * | T | T |
| 50418 | * | F | F |
| 50419 | * | T | T |
| 50420 | * | T | T |
| 53688 | F | F | F |
| 63460 | F | F | F |
| 73192 | * | F | F |
| 73193 | * | T | T |
| 73194 | * | T | T |
| 73195 | * | T | T |
| 73196 | * | F | F |
| 73197 | * | T | T |
| 76667 | * | F | F |
| 76668 | * | T | T |
| 76669 | * | T | T |
| 76670 | * | T | T |
| 76671 | * | F | F |
| 76672 | * | T | T |
| 79390 | * | F | F |
| 79391 | * | T | T |
| 79392 | * | T | T |
| 80884 | * | F | F |
| 82071 | * | F | F |
| 83133 | * | F | F |
| 84329 | * | F | F |
| 85984 | * | F | F |
| 85985 | * | T | T |
| 85986 | * | T | T |
| 87687 | * | F | F |
| 89290 | * | F | F |
| 89291 | * | T | T |
| 90993 | * | F | F |
| 93630 | T | * | T |
| 93631 | F | F | F |
| 112493 | T | * | T |
| 112494 | F | F | F |
| 130099 | * | F | F |
| 131274 | * | F | F |
| 132601 | * | F | F |
Independent-effect pairs
c0(branch2270): PROVED — pair rows13695,93630(masking)scry_analyze_core::analyze· br_if
inlined: lib.rs:1513c1(branch2279): PROVED — pair rows834,835(masking)scry_analyze_core::analyze· br_if
inlined: lib.rs:1578