Decision #1247 — validations.rs:241
Status: full_mcdc
Truth table
| row | c0 br 8483 | c1 br 8484 | outcome |
|---|---|---|---|
| 3738 | F | F | F |
| 3739 | F | F | F |
| 3740 | T | * | T |
| 11532 | F | F | F |
| 11533 | F | F | F |
| 11534 | T | * | T |
| 13012 | T | * | T |
| 15713 | T | * | T |
| 25195 | T | * | T |
| 40845 | T | * | T |
| 47058 | T | * | T |
| 75627 | T | * | T |
| 87140 | T | * | T |
| 91358 | T | * | T |
| 95626 | T | * | T |
| 97647 | T | * | T |
| 99199 | F | F | F |
| 99200 | T | * | T |
| 102132 | F | F | F |
| 102133 | T | * | T |
| 108621 | F | T | T |
| 113867 | F | T | T |
| 140034 | T | * | T |
| 162970 | T | * | T |
| 164523 | T | * | T |
| 166212 | T | * | T |
Independent-effect pairs
c0(branch8483): PROVED — pair rows3738,3740(masking)<u64 as core::fmt::Display>::fmt· br_ifc1(branch8484): PROVED — pair rows3738,108621(unique-cause)<u64 as core::fmt::Display>::fmt· br_if