Decision #98 — lib.rs:4515
Status: full_mcdc
Truth table
| row | c0 br 868 | c1 br 869 | outcome |
|---|---|---|---|
| 40403 | F | F | F |
| 40404 | F | F | F |
| 40405 | T | * | T |
| 43371 | F | F | F |
| 43372 | F | F | F |
| 43373 | T | * | T |
| 46824 | F | F | F |
| 46825 | F | F | F |
| 46826 | T | * | T |
| 49943 | F | F | F |
| 49944 | F | F | F |
| 49945 | T | * | T |
| 79179 | F | T | T |
| 79180 | F | T | T |
Independent-effect pairs
c0(branch868): PROVED — pair rows40403,40405(masking)scry_analyze_core::Interp::seq· br_ifc1(branch869): PROVED — pair rows40403,79179(unique-cause)scry_analyze_core::Interp::seq· br_if