Decision #489 — library/alloc/src/vec/spec_from_iter_nested.rs:36
Status: full_mcdc
Truth table
| row | c0 br 3425 | c1 br 3428 | outcome |
|---|---|---|---|
| 14732 | * | T | T |
| 14733 | * | T | T |
| 99731 | T | * | T |
| 99732 | F | F | F |
| 99733 | T | * | T |
| 99734 | F | T | T |
| 108220 | T | * | T |
| 108221 | F | * | F |
| 108222 | T | * | T |
| 108223 | F | * | F |
| 379686 | T | * | T |
| 379687 | F | * | F |
| 382570 | T | * | T |
| 382571 | F | * | F |
Independent-effect pairs
c0(branch3425): PROVED — pair rows99731,99732(masking)scry_analyze_core::run_taint_analysis· br_ifc1(branch3428): PROVED — pair rows99732,99734(unique-cause)scry_analyze_core::run_taint_analysis· br_if