226 lines
6.5 KiB
Plaintext
226 lines
6.5 KiB
Plaintext
LL| |#![feature(coverage_attribute)]
|
|
LL| |//@ edition: 2021
|
|
LL| |//@ min-llvm-version: 19
|
|
LL| |//@ compile-flags: -Zcoverage-options=mcdc
|
|
LL| |//@ llvm-cov-flags: --show-branches=count --show-mcdc
|
|
LL| |
|
|
LL| |// This test ensures that boolean expressions that are not inside control flow
|
|
LL| |// decisions are correctly instrumented.
|
|
LL| |
|
|
LL| |use core::hint::black_box;
|
|
LL| |
|
|
LL| 3|fn assign_and(a: bool, b: bool) {
|
|
LL| 3| let x = a && b;
|
|
^2
|
|
------------------
|
|
| Branch (LL:13): [True: 2, False: 1]
|
|
| Branch (LL:18): [True: 1, False: 1]
|
|
------------------
|
|
|---> MC/DC Decision Region (LL:13) to (LL:19)
|
|
|
|
|
| Number of Conditions: 2
|
|
| Condition C1 --> (LL:13)
|
|
| Condition C2 --> (LL:18)
|
|
|
|
|
| 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| black_box(x);
|
|
LL| 3|}
|
|
LL| |
|
|
LL| 3|fn assign_or(a: bool, b: bool) {
|
|
LL| 3| let x = a || b;
|
|
^1
|
|
------------------
|
|
| Branch (LL:13): [True: 2, False: 1]
|
|
| Branch (LL:18): [True: 0, False: 1]
|
|
------------------
|
|
|---> MC/DC Decision Region (LL:13) to (LL:19)
|
|
|
|
|
| Number of Conditions: 2
|
|
| Condition C1 --> (LL:13)
|
|
| Condition C2 --> (LL:18)
|
|
|
|
|
| Executed MC/DC Test Vectors:
|
|
|
|
|
| C1, C2 Result
|
|
| 1 { F, F = F }
|
|
| 2 { T, - = T }
|
|
|
|
|
| C1-Pair: covered: (1,2)
|
|
| C2-Pair: not covered
|
|
| MC/DC Coverage for Decision: 50.00%
|
|
|
|
|
------------------
|
|
LL| 3| black_box(x);
|
|
LL| 3|}
|
|
LL| |
|
|
LL| 4|fn assign_3(a: bool, b: bool, c: bool) {
|
|
LL| 4| let x = a || b && c;
|
|
^2 ^1
|
|
------------------
|
|
| Branch (LL:13): [True: 2, False: 2]
|
|
| Branch (LL:18): [True: 1, False: 1]
|
|
| Branch (LL:23): [True: 1, False: 0]
|
|
------------------
|
|
|---> MC/DC Decision Region (LL:13) to (LL:24)
|
|
|
|
|
| Number of Conditions: 3
|
|
| Condition C1 --> (LL:13)
|
|
| Condition C2 --> (LL:18)
|
|
| Condition C3 --> (LL:23)
|
|
|
|
|
| Executed MC/DC Test Vectors:
|
|
|
|
|
| C1, C2, C3 Result
|
|
| 1 { F, F, - = F }
|
|
| 2 { F, T, T = T }
|
|
| 3 { T, -, - = T }
|
|
|
|
|
| C1-Pair: covered: (1,3)
|
|
| C2-Pair: covered: (1,2)
|
|
| C3-Pair: not covered
|
|
| MC/DC Coverage for Decision: 66.67%
|
|
|
|
|
------------------
|
|
LL| 4| black_box(x);
|
|
LL| 4|}
|
|
LL| |
|
|
LL| 4|fn assign_3_bis(a: bool, b: bool, c: bool) {
|
|
LL| 4| let x = a && b || c;
|
|
^2 ^3
|
|
------------------
|
|
| Branch (LL:13): [True: 2, False: 2]
|
|
| Branch (LL:18): [True: 1, False: 1]
|
|
| Branch (LL:23): [True: 2, False: 1]
|
|
------------------
|
|
|---> MC/DC Decision Region (LL:13) to (LL:24)
|
|
|
|
|
| Number of Conditions: 3
|
|
| Condition C1 --> (LL:13)
|
|
| Condition C2 --> (LL:18)
|
|
| Condition C3 --> (LL:23)
|
|
|
|
|
| Executed MC/DC Test Vectors:
|
|
|
|
|
| C1, C2, C3 Result
|
|
| 1 { T, F, F = F }
|
|
| 2 { F, -, T = T }
|
|
| 3 { T, T, - = T }
|
|
|
|
|
| C1-Pair: not covered
|
|
| C2-Pair: covered: (1,3)
|
|
| C3-Pair: not covered
|
|
| MC/DC Coverage for Decision: 33.33%
|
|
|
|
|
------------------
|
|
LL| 4| black_box(x);
|
|
LL| 4|}
|
|
LL| |
|
|
LL| 3|fn right_comb_tree(a: bool, b: bool, c: bool, d: bool, e: bool) {
|
|
LL| 3| let x = a && (b && (c && (d && (e))));
|
|
^2 ^1 ^1 ^1
|
|
------------------
|
|
| Branch (LL:13): [True: 2, False: 1]
|
|
| Branch (LL:19): [True: 1, False: 1]
|
|
| Branch (LL:25): [True: 1, False: 0]
|
|
| Branch (LL:31): [True: 1, False: 0]
|
|
| Branch (LL:36): [True: 1, False: 0]
|
|
------------------
|
|
|---> MC/DC Decision Region (LL:13) to (LL:42)
|
|
|
|
|
| Number of Conditions: 5
|
|
| Condition C1 --> (LL:13)
|
|
| Condition C2 --> (LL:19)
|
|
| Condition C3 --> (LL:25)
|
|
| Condition C4 --> (LL:31)
|
|
| Condition C5 --> (LL:36)
|
|
|
|
|
| Executed MC/DC Test Vectors:
|
|
|
|
|
| C1, C2, C3, C4, C5 Result
|
|
| 1 { F, -, -, -, - = F }
|
|
| 2 { T, F, -, -, - = F }
|
|
| 3 { T, T, T, T, T = T }
|
|
|
|
|
| C1-Pair: covered: (1,3)
|
|
| C2-Pair: covered: (2,3)
|
|
| C3-Pair: not covered
|
|
| C4-Pair: not covered
|
|
| C5-Pair: not covered
|
|
| MC/DC Coverage for Decision: 40.00%
|
|
|
|
|
------------------
|
|
LL| 3| black_box(x);
|
|
LL| 3|}
|
|
LL| |
|
|
LL| 3|fn foo(a: bool) -> bool {
|
|
LL| 3| black_box(a)
|
|
LL| 3|}
|
|
LL| |
|
|
LL| 3|fn func_call(a: bool, b: bool) {
|
|
LL| 3| foo(a && b);
|
|
^2
|
|
------------------
|
|
| Branch (LL:9): [True: 2, False: 1]
|
|
| Branch (LL:14): [True: 1, False: 1]
|
|
------------------
|
|
|---> MC/DC Decision Region (LL:9) to (LL:15)
|
|
|
|
|
| Number of Conditions: 2
|
|
| Condition C1 --> (LL:9)
|
|
| Condition C2 --> (LL:14)
|
|
|
|
|
| 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| | assign_and(true, false);
|
|
LL| | assign_and(true, true);
|
|
LL| | assign_and(false, false);
|
|
LL| |
|
|
LL| | assign_or(true, false);
|
|
LL| | assign_or(true, true);
|
|
LL| | assign_or(false, false);
|
|
LL| |
|
|
LL| | assign_3(true, false, false);
|
|
LL| | assign_3(true, true, false);
|
|
LL| | assign_3(false, false, true);
|
|
LL| | assign_3(false, true, true);
|
|
LL| |
|
|
LL| | assign_3_bis(true, false, false);
|
|
LL| | assign_3_bis(true, true, false);
|
|
LL| | assign_3_bis(false, false, true);
|
|
LL| | assign_3_bis(false, true, true);
|
|
LL| |
|
|
LL| | right_comb_tree(false, false, false, true, true);
|
|
LL| | right_comb_tree(true, false, false, true, true);
|
|
LL| | right_comb_tree(true, true, true, true, true);
|
|
LL| |
|
|
LL| | func_call(true, false);
|
|
LL| | func_call(true, true);
|
|
LL| | func_call(false, false);
|
|
LL| |}
|
|
|