Decision #518 — library/alloc/src/vec/mod.rs:1039
Status: full_mcdc
Truth table
| row | c0 br 3700 | c1 br 3707 | outcome |
|---|---|---|---|
| 1056 | * | T | T |
| 1057 | * | T | T |
| 1058 | T | T | T |
| 1059 | F | T | T |
| 1060 | F | * | F |
| 1061 | T | F | F |
| 8016 | * | T | T |
| 8017 | * | T | T |
| 8018 | T | T | T |
| 8019 | F | T | T |
| 8020 | F | * | F |
| 8021 | T | F | F |
| 14817 | * | T | T |
| 14818 | * | T | T |
| 14819 | T | T | T |
| 14820 | F | T | T |
| 14821 | F | * | F |
| 14822 | T | F | F |
| 21664 | * | F | F |
| 24407 | * | F | F |
| 27050 | * | F | F |
| 30620 | * | F | F |
| 51475 | * | F | F |
| 72400 | * | F | F |
| 82283 | * | F | F |
| 91957 | T | T | T |
| 91958 | * | T | T |
| 99786 | T | T | T |
| 99787 | * | T | T |
| 108275 | T | T | T |
| 108276 | * | T | T |
| 116301 | T | T | T |
| 116302 | * | T | T |
| 124357 | * | F | F |
| 141076 | * | F | F |
| 158227 | * | T | T |
| 158228 | * | T | T |
| 158229 | * | T | T |
| 158230 | * | T | T |
| 158231 | * | T | T |
| 158232 | * | F | F |
| 168085 | * | T | T |
| 168086 | * | T | T |
| 168087 | * | T | T |
| 168088 | * | T | T |
| 168089 | * | T | T |
| 168090 | * | F | F |
| 176464 | T | T | T |
| 176465 | * | T | T |
| 176466 | * | F | F |
| 181168 | * | F | F |
| 184487 | * | F | F |
| 187595 | * | F | F |
| 191129 | * | F | F |
| 196417 | T | T | T |
| 196418 | T | T | T |
| 196419 | * | F | F |
| 203256 | * | F | F |
| 207749 | T | T | T |
| 207750 | * | F | F |
| 224080 | * | F | F |
| 301457 | * | F | F |
| 377051 | * | F | F |
| 379708 | * | F | F |
| 382592 | * | F | F |
Independent-effect pairs
c0(branch3700): PROVED — pair rows1058,1060(masking)scry_analyze_core::compute_stack_usage· br_ifc1(branch3707): PROVED — pair rows1058,1061(unique-cause)scry_analyze_core::compute_stack_usage· br_if