Decision #382 — lib.rs:5629
Status: full_mcdc
Truth table
| row | c0 br 2456 | c1 br 2457 | outcome |
|---|---|---|---|
| 485 | * | T | T |
| 4279 | * | T | T |
| 7962 | * | T | T |
| 11853 | * | T | T |
| 13229 | * | T | T |
| 14554 | * | T | T |
| 16404 | * | T | T |
| 25884 | * | T | T |
| 35514 | * | T | T |
| 41727 | * | T | T |
| 47711 | * | F | F |
| 51839 | * | F | F |
| 56377 | * | F | F |
| 60635 | * | F | F |
| 65000 | * | T | T |
| 76513 | * | T | T |
| 87951 | * | T | T |
| 92219 | * | T | T |
| 95932 | T | * | T |
| 95933 | F | T | T |
| 97908 | * | T | T |
| 99426 | * | T | T |
| 100841 | * | T | T |
| 102521 | * | T | T |
| 105533 | * | T | T |
| 108900 | * | T | T |
| 111346 | T | * | T |
| 111347 | F | T | T |
| 114382 | F | F | F |
| 118416 | * | T | T |
| 141352 | * | T | T |
| 163150 | * | T | T |
| 164705 | * | T | T |
| 166427 | * | T | T |
Independent-effect pairs
c0(branch2456): PROVED — pair rows95932,114382(masking)scry_analyze_core::compute_advisories· br_ifc1(branch2457): PROVED — pair rows95933,114382(unique-cause)scry_analyze_core::compute_advisories· br_if