LL| |#![feature(coverage_attribute)] | |
LL| |//@ edition: 2021 | |
LL| |//@ min-llvm-version: 19 | |
LL| |//@ compile-flags: -Zcoverage-options=mcdc -Copt-level=z -Cllvm-args=--inline-threshold=0 | |
LL| |//@ llvm-cov-flags: --show-branches=count --show-mcdc | |
LL| | | |
LL| |#[inline(always)] | |
LL| 3|fn inlined_instance(a: bool, b: bool) -> bool { | |
LL| 3| a && b | |
^2 | |
------------------ | |
| Branch (LL:5): [True: 2, False: 1] | |
| Branch (LL:10): [True: 1, False: 1] | |
------------------ | |
|---> MC/DC Decision Region (LL:5) to (LL:11) | |
| | |
| Number of Conditions: 2 | |
| Condition C1 --> (LL:5) | |
| Condition C2 --> (LL:10) | |
| | |
| Executed MC/DC Test Vectors: | |
| | |
| C1, C2 Result | |
| 1 { F, - = F } | |
| 2 { T, F = F } | |
| 3 { T, T = T } | |
| | |
| C1-Pair: covered: (1,3) | |
| C2-Pair: covered: (2,3) | |
| MC/DC Coverage for Decision: 100.00% | |
| | |
------------------ | |
LL| 3|} | |
LL| | | |
LL| |#[coverage(off)] | |
LL| |fn main() { | |
LL| | let _ = inlined_instance(true, false); | |
LL| | let _ = inlined_instance(false, true); | |
LL| | let _ = inlined_instance(true, true); | |
LL| |} | |