Decision #1485 — unicode_data.rs:478
Status: full_mcdc
Truth table
| row | c0 br 9734 | c1 br 9735 | outcome |
|---|---|---|---|
| 6478 | F | F | F |
| 6479 | F | F | F |
| 6480 | T | * | T |
| 20553 | F | F | F |
| 20554 | F | F | F |
| 20555 | T | * | T |
| 23736 | T | * | T |
| 29122 | T | * | T |
| 49279 | T | * | T |
| 80240 | T | * | T |
| 90123 | T | * | T |
| 138925 | T | * | T |
| 155644 | T | * | T |
| 165309 | T | * | T |
| 175167 | T | * | T |
| 180101 | T | * | T |
| 183678 | F | F | F |
| 183679 | T | * | T |
| 190105 | F | F | F |
| 190106 | T | * | T |
| 202354 | F | T | T |
| 213670 | F | T | T |
| 296395 | T | * | T |
| 373772 | T | * | T |
| 379180 | T | * | T |
| 382007 | T | * | T |
Independent-effect pairs
c0(branch9734): PROVED — pair rows6478,6480(masking)<u64 as core::fmt::Display>::fmt· br_ifc1(branch9735): PROVED — pair rows6478,202354(unique-cause)<u64 as core::fmt::Display>::fmt· br_if