Skip to content

Commit 72d58d2

Browse files
author
zhuyunxing
committed
coverage. Group mcdc tests in one directory
1 parent 7d97c59 commit 72d58d2

10 files changed

+149
-149
lines changed

‎tests/coverage/mcdc_if.cov-map renamed to ‎tests/coverage/mcdc/if.cov-map

+7-7
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Function name: mcdc_if::mcdc_check_a
1+
Function name: if::check_a
22
Raw bytes (64): 0x[01, 01, 04, 01, 05, 09, 02, 0d, 0f, 09, 02, 08, 01, 0f, 01, 01, 09, 28, 00, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 0d, 09, 02, 00, 00, 00, 0d, 00, 0e, 0d, 00, 0f, 02, 06, 0f, 02, 0c, 02, 06, 0b, 03, 01, 00, 02]
33
Number of files: 1
44
- file 0 => global file 1
@@ -23,7 +23,7 @@ Number of file 0 mappings: 8
2323
- Code(Expression(2, Add)) at (prev + 3, 1) to (start + 0, 2)
2424
= (c3 + (c2 + (c0 - c1)))
2525

26-
Function name: mcdc_if::mcdc_check_b
26+
Function name: if::check_b
2727
Raw bytes (64): 0x[01, 01, 04, 01, 05, 09, 02, 0d, 0f, 09, 02, 08, 01, 17, 01, 01, 09, 28, 00, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 0d, 09, 02, 00, 00, 00, 0d, 00, 0e, 0d, 00, 0f, 02, 06, 0f, 02, 0c, 02, 06, 0b, 03, 01, 00, 02]
2828
Number of files: 1
2929
- file 0 => global file 1
@@ -48,7 +48,7 @@ Number of file 0 mappings: 8
4848
- Code(Expression(2, Add)) at (prev + 3, 1) to (start + 0, 2)
4949
= (c3 + (c2 + (c0 - c1)))
5050

51-
Function name: mcdc_if::mcdc_check_both
51+
Function name: if::check_both
5252
Raw bytes (64): 0x[01, 01, 04, 01, 05, 09, 02, 0d, 0f, 09, 02, 08, 01, 1f, 01, 01, 09, 28, 00, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 0d, 09, 02, 00, 00, 00, 0d, 00, 0e, 0d, 00, 0f, 02, 06, 0f, 02, 0c, 02, 06, 0b, 03, 01, 00, 02]
5353
Number of files: 1
5454
- file 0 => global file 1
@@ -73,7 +73,7 @@ Number of file 0 mappings: 8
7373
- Code(Expression(2, Add)) at (prev + 3, 1) to (start + 0, 2)
7474
= (c3 + (c2 + (c0 - c1)))
7575

76-
Function name: mcdc_if::mcdc_check_neither
76+
Function name: if::check_neither
7777
Raw bytes (64): 0x[01, 01, 04, 01, 05, 09, 02, 0d, 0f, 09, 02, 08, 01, 07, 01, 01, 09, 28, 00, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 0d, 09, 02, 00, 00, 00, 0d, 00, 0e, 0d, 00, 0f, 02, 06, 0f, 02, 0c, 02, 06, 0b, 03, 01, 00, 02]
7878
Number of files: 1
7979
- file 0 => global file 1
@@ -98,7 +98,7 @@ Number of file 0 mappings: 8
9898
- Code(Expression(2, Add)) at (prev + 3, 1) to (start + 0, 2)
9999
= (c3 + (c2 + (c0 - c1)))
100100

101-
Function name: mcdc_if::mcdc_check_not_tree_decision
101+
Function name: if::check_not_tree_decision
102102
Raw bytes (87): 0x[01, 01, 08, 01, 05, 02, 09, 05, 09, 0d, 1e, 02, 09, 11, 1b, 0d, 1e, 02, 09, 0a, 01, 31, 01, 03, 0a, 28, 00, 03, 03, 08, 00, 15, 30, 05, 02, 01, 02, 03, 00, 09, 00, 0a, 02, 00, 0e, 00, 0f, 30, 09, 1e, 03, 02, 00, 00, 0e, 00, 0f, 0b, 00, 14, 00, 15, 30, 11, 0d, 02, 00, 00, 00, 14, 00, 15, 11, 00, 16, 02, 06, 1b, 02, 0c, 02, 06, 17, 03, 01, 00, 02]
103103
Number of files: 1
104104
- file 0 => global file 1
@@ -133,7 +133,7 @@ Number of file 0 mappings: 10
133133
- Code(Expression(5, Add)) at (prev + 3, 1) to (start + 0, 2)
134134
= (c4 + (c3 + ((c0 - c1) - c2)))
135135

136-
Function name: mcdc_if::mcdc_check_tree_decision
136+
Function name: if::check_tree_decision
137137
Raw bytes (87): 0x[01, 01, 08, 01, 05, 05, 0d, 05, 0d, 0d, 11, 09, 02, 1b, 1f, 0d, 11, 09, 02, 0a, 01, 27, 01, 03, 09, 28, 00, 03, 03, 08, 00, 15, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0e, 00, 0f, 30, 0d, 0a, 02, 00, 03, 00, 0e, 00, 0f, 0a, 00, 13, 00, 14, 30, 11, 09, 03, 00, 00, 00, 13, 00, 14, 1b, 00, 16, 02, 06, 1f, 02, 0c, 02, 06, 17, 03, 01, 00, 02]
138138
Number of files: 1
139139
- file 0 => global file 1
@@ -168,7 +168,7 @@ Number of file 0 mappings: 10
168168
- Code(Expression(5, Add)) at (prev + 3, 1) to (start + 0, 2)
169169
= ((c3 + c4) + (c2 + (c0 - c1)))
170170

171-
Function name: mcdc_if::mcdc_nested_if
171+
Function name: if::nested_if
172172
Raw bytes (124): 0x[01, 01, 0d, 01, 05, 02, 09, 05, 09, 1b, 15, 05, 09, 1b, 15, 05, 09, 11, 15, 02, 09, 2b, 32, 0d, 2f, 11, 15, 02, 09, 0e, 01, 3b, 01, 01, 09, 28, 00, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 00, 02, 00, 08, 00, 09, 02, 00, 0d, 00, 0e, 30, 09, 32, 02, 00, 00, 00, 0d, 00, 0e, 1b, 01, 09, 01, 0d, 28, 01, 02, 01, 0c, 00, 12, 30, 16, 15, 01, 02, 00, 00, 0c, 00, 0d, 16, 00, 11, 00, 12, 30, 0d, 11, 02, 00, 00, 00, 11, 00, 12, 0d, 00, 13, 02, 0a, 2f, 02, 0a, 00, 0b, 32, 01, 0c, 02, 06, 27, 03, 01, 00, 02]
173173
Number of files: 1
174174
- file 0 => global file 1

‎tests/coverage/mcdc_if.coverage renamed to ‎tests/coverage/mcdc/if.coverage

+28-28
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
LL| |//@ compile-flags: -Zcoverage-options=mcdc
55
LL| |//@ llvm-cov-flags: --show-mcdc
66
LL| |
7-
LL| 2|fn mcdc_check_neither(a: bool, b: bool) {
7+
LL| 2|fn check_neither(a: bool, b: bool) {
88
LL| 2| if a && b {
99
^0
1010
------------------
@@ -30,7 +30,7 @@
3030
LL| 2| }
3131
LL| 2|}
3232
LL| |
33-
LL| 2|fn mcdc_check_a(a: bool, b: bool) {
33+
LL| 2|fn check_a(a: bool, b: bool) {
3434
LL| 2| if a && b {
3535
^1
3636
------------------
@@ -57,7 +57,7 @@
5757
LL| 1| }
5858
LL| 2|}
5959
LL| |
60-
LL| 2|fn mcdc_check_b(a: bool, b: bool) {
60+
LL| 2|fn check_b(a: bool, b: bool) {
6161
LL| 2| if a && b {
6262
------------------
6363
|---> MC/DC Decision Region (LL:8) to (LL:14)
@@ -83,7 +83,7 @@
8383
LL| 1| }
8484
LL| 2|}
8585
LL| |
86-
LL| 3|fn mcdc_check_both(a: bool, b: bool) {
86+
LL| 3|fn check_both(a: bool, b: bool) {
8787
LL| 3| if a && b {
8888
^2
8989
------------------
@@ -111,7 +111,7 @@
111111
LL| 2| }
112112
LL| 3|}
113113
LL| |
114-
LL| 4|fn mcdc_check_tree_decision(a: bool, b: bool, c: bool) {
114+
LL| 4|fn check_tree_decision(a: bool, b: bool, c: bool) {
115115
LL| 4| // This expression is intentionally written in a way
116116
LL| 4| // where 100% branch coverage indicates 100% mcdc coverage.
117117
LL| 4| if a && (b || c) {
@@ -144,8 +144,8 @@
144144
LL| 2| }
145145
LL| 4|}
146146
LL| |
147-
LL| 4|fn mcdc_check_not_tree_decision(a: bool, b: bool, c: bool) {
148-
LL| 4| // Contradict to `mcdc_check_tree_decision`,
147+
LL| 4|fn check_not_tree_decision(a: bool, b: bool, c: bool) {
148+
LL| 4| // Contradict to `check_tree_decision`,
149149
LL| 4| // 100% branch coverage of this expression does not mean indicates 100% mcdc coverage.
150150
LL| 4| if (a || b) && c {
151151
^1
@@ -176,7 +176,7 @@
176176
LL| 2| }
177177
LL| 4|}
178178
LL| |
179-
LL| 3|fn mcdc_nested_if(a: bool, b: bool, c: bool) {
179+
LL| 3|fn nested_if(a: bool, b: bool, c: bool) {
180180
LL| 3| if a || b {
181181
^0
182182
------------------
@@ -227,32 +227,32 @@
227227
LL| |
228228
LL| |#[coverage(off)]
229229
LL| |fn main() {
230-
LL| | mcdc_check_neither(false, false);
231-
LL| | mcdc_check_neither(false, true);
230+
LL| | check_neither(false, false);
231+
LL| | check_neither(false, true);
232232
LL| |
233-
LL| | mcdc_check_a(true, true);
234-
LL| | mcdc_check_a(false, true);
233+
LL| | check_a(true, true);
234+
LL| | check_a(false, true);
235235
LL| |
236-
LL| | mcdc_check_b(true, true);
237-
LL| | mcdc_check_b(true, false);
236+
LL| | check_b(true, true);
237+
LL| | check_b(true, false);
238238
LL| |
239-
LL| | mcdc_check_both(false, true);
240-
LL| | mcdc_check_both(true, true);
241-
LL| | mcdc_check_both(true, false);
239+
LL| | check_both(false, true);
240+
LL| | check_both(true, true);
241+
LL| | check_both(true, false);
242242
LL| |
243-
LL| | mcdc_check_tree_decision(false, true, true);
244-
LL| | mcdc_check_tree_decision(true, true, false);
245-
LL| | mcdc_check_tree_decision(true, false, false);
246-
LL| | mcdc_check_tree_decision(true, false, true);
243+
LL| | check_tree_decision(false, true, true);
244+
LL| | check_tree_decision(true, true, false);
245+
LL| | check_tree_decision(true, false, false);
246+
LL| | check_tree_decision(true, false, true);
247247
LL| |
248-
LL| | mcdc_check_not_tree_decision(false, true, true);
249-
LL| | mcdc_check_not_tree_decision(true, true, false);
250-
LL| | mcdc_check_not_tree_decision(true, false, false);
251-
LL| | mcdc_check_not_tree_decision(true, false, true);
248+
LL| | check_not_tree_decision(false, true, true);
249+
LL| | check_not_tree_decision(true, true, false);
250+
LL| | check_not_tree_decision(true, false, false);
251+
LL| | check_not_tree_decision(true, false, true);
252252
LL| |
253-
LL| | mcdc_nested_if(true, false, true);
254-
LL| | mcdc_nested_if(true, true, true);
255-
LL| | mcdc_nested_if(true, true, false);
253+
LL| | nested_if(true, false, true);
254+
LL| | nested_if(true, true, true);
255+
LL| | nested_if(true, true, false);
256256
LL| |}
257257
LL| |
258258
LL| |#[coverage(off)]

‎tests/coverage/mcdc/if.rs

+103
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,103 @@
1+
#![feature(coverage_attribute)]
2+
//@ edition: 2021
3+
//@ min-llvm-version: 18
4+
//@ compile-flags: -Zcoverage-options=mcdc
5+
//@ llvm-cov-flags: --show-mcdc
6+
7+
fn check_neither(a: bool, b: bool) {
8+
if a && b {
9+
say("a and b");
10+
} else {
11+
say("not both");
12+
}
13+
}
14+
15+
fn check_a(a: bool, b: bool) {
16+
if a && b {
17+
say("a and b");
18+
} else {
19+
say("not both");
20+
}
21+
}
22+
23+
fn check_b(a: bool, b: bool) {
24+
if a && b {
25+
say("a and b");
26+
} else {
27+
say("not both");
28+
}
29+
}
30+
31+
fn check_both(a: bool, b: bool) {
32+
if a && b {
33+
say("a and b");
34+
} else {
35+
say("not both");
36+
}
37+
}
38+
39+
fn check_tree_decision(a: bool, b: bool, c: bool) {
40+
// This expression is intentionally written in a way
41+
// where 100% branch coverage indicates 100% mcdc coverage.
42+
if a && (b || c) {
43+
say("pass");
44+
} else {
45+
say("reject");
46+
}
47+
}
48+
49+
fn check_not_tree_decision(a: bool, b: bool, c: bool) {
50+
// Contradict to `check_tree_decision`,
51+
// 100% branch coverage of this expression does not mean indicates 100% mcdc coverage.
52+
if (a || b) && c {
53+
say("pass");
54+
} else {
55+
say("reject");
56+
}
57+
}
58+
59+
fn nested_if(a: bool, b: bool, c: bool) {
60+
if a || b {
61+
say("a or b");
62+
if b && c {
63+
say("b and c");
64+
}
65+
} else {
66+
say("neither a nor b");
67+
}
68+
}
69+
70+
#[coverage(off)]
71+
fn main() {
72+
check_neither(false, false);
73+
check_neither(false, true);
74+
75+
check_a(true, true);
76+
check_a(false, true);
77+
78+
check_b(true, true);
79+
check_b(true, false);
80+
81+
check_both(false, true);
82+
check_both(true, true);
83+
check_both(true, false);
84+
85+
check_tree_decision(false, true, true);
86+
check_tree_decision(true, true, false);
87+
check_tree_decision(true, false, false);
88+
check_tree_decision(true, false, true);
89+
90+
check_not_tree_decision(false, true, true);
91+
check_not_tree_decision(true, true, false);
92+
check_not_tree_decision(true, false, false);
93+
check_not_tree_decision(true, false, true);
94+
95+
nested_if(true, false, true);
96+
nested_if(true, true, true);
97+
nested_if(true, true, false);
98+
}
99+
100+
#[coverage(off)]
101+
fn say(message: &str) {
102+
core::hint::black_box(message);
103+
}

‎tests/coverage/mcdc_nested_if.cov-map renamed to ‎tests/coverage/mcdc/nested_if.cov-map

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Function name: mcdc_nested_if::doubly_nested_if_in_condition
1+
Function name: nested_if::doubly_nested_if_in_condition
22
Raw bytes (168): 0x[01, 01, 0e, 01, 05, 05, 11, 05, 11, 26, 19, 05, 11, 19, 1d, 19, 1d, 1d, 22, 26, 19, 05, 11, 11, 15, 09, 02, 0d, 37, 09, 02, 14, 01, 0f, 01, 01, 09, 28, 02, 02, 01, 08, 00, 4e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 0d, 09, 02, 00, 00, 00, 0d, 00, 4e, 05, 00, 10, 00, 11, 28, 01, 02, 00, 10, 00, 36, 30, 11, 26, 01, 00, 02, 00, 10, 00, 11, 30, 15, 21, 02, 00, 00, 00, 15, 00, 36, 26, 00, 18, 00, 19, 28, 00, 02, 00, 18, 00, 1e, 30, 19, 22, 01, 02, 00, 00, 18, 00, 19, 19, 00, 1d, 00, 1e, 30, 1a, 1d, 02, 00, 00, 00, 1d, 00, 1e, 1a, 00, 21, 00, 25, 1f, 00, 2f, 00, 34, 2b, 00, 39, 00, 3e, 21, 00, 48, 00, 4c, 0d, 00, 4f, 02, 06, 37, 02, 0c, 02, 06, 33, 03, 01, 00, 02]
33
Number of files: 1
44
- file 0 => global file 1
@@ -57,7 +57,7 @@ Number of file 0 mappings: 20
5757
- Code(Expression(12, Add)) at (prev + 3, 1) to (start + 0, 2)
5858
= (c3 + (c2 + (c0 - c1)))
5959

60-
Function name: mcdc_nested_if::nested_if_in_condition
60+
Function name: nested_if::nested_if_in_condition
6161
Raw bytes (120): 0x[01, 01, 0b, 01, 05, 05, 11, 05, 11, 1e, 15, 05, 11, 11, 15, 1e, 15, 05, 11, 09, 02, 0d, 2b, 09, 02, 0e, 01, 07, 01, 01, 09, 28, 01, 02, 01, 08, 00, 2e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 0d, 09, 02, 00, 00, 00, 0d, 00, 2e, 05, 00, 10, 00, 11, 28, 00, 02, 00, 10, 00, 16, 30, 11, 1e, 01, 00, 02, 00, 10, 00, 11, 1e, 00, 15, 00, 16, 30, 15, 1a, 02, 00, 00, 00, 15, 00, 16, 17, 00, 19, 00, 1d, 1a, 00, 27, 00, 2c, 0d, 00, 2f, 02, 06, 2b, 02, 0c, 02, 06, 27, 03, 01, 00, 02]
6262
Number of files: 1
6363
- file 0 => global file 1
@@ -102,7 +102,7 @@ Number of file 0 mappings: 14
102102
- Code(Expression(9, Add)) at (prev + 3, 1) to (start + 0, 2)
103103
= (c3 + (c2 + (c0 - c1)))
104104

105-
Function name: mcdc_nested_if::nested_in_then_block_in_condition
105+
Function name: nested_if::nested_in_then_block_in_condition
106106
Raw bytes (176): 0x[01, 01, 12, 01, 05, 05, 11, 05, 11, 3a, 15, 05, 11, 11, 15, 33, 19, 11, 15, 19, 1d, 19, 1d, 1d, 2e, 33, 19, 11, 15, 3a, 15, 05, 11, 09, 02, 0d, 47, 09, 02, 14, 01, 22, 01, 01, 09, 28, 02, 02, 01, 08, 00, 4b, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 0d, 09, 02, 00, 00, 00, 0d, 00, 4b, 05, 00, 10, 00, 11, 28, 00, 02, 00, 10, 00, 16, 30, 11, 3a, 01, 00, 02, 00, 10, 00, 11, 3a, 00, 15, 00, 16, 30, 15, 36, 02, 00, 00, 00, 15, 00, 16, 33, 00, 1c, 00, 1d, 28, 01, 02, 00, 1c, 00, 22, 30, 19, 2e, 01, 02, 00, 00, 1c, 00, 1d, 19, 00, 21, 00, 22, 30, 26, 1d, 02, 00, 00, 00, 21, 00, 22, 26, 00, 25, 00, 29, 2b, 00, 33, 00, 38, 36, 00, 44, 00, 49, 0d, 00, 4c, 02, 06, 47, 02, 0c, 02, 06, 43, 03, 01, 00, 02]
107107
Number of files: 1
108108
- file 0 => global file 1
@@ -166,7 +166,7 @@ Number of file 0 mappings: 20
166166
- Code(Expression(16, Add)) at (prev + 3, 1) to (start + 0, 2)
167167
= (c3 + (c2 + (c0 - c1)))
168168

169-
Function name: mcdc_nested_if::nested_single_condition_decision
169+
Function name: nested_if::nested_single_condition_decision
170170
Raw bytes (85): 0x[01, 01, 06, 01, 05, 05, 11, 05, 11, 09, 02, 0d, 17, 09, 02, 0b, 01, 17, 01, 04, 09, 28, 00, 02, 04, 08, 00, 29, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 0d, 09, 02, 00, 00, 00, 0d, 00, 29, 05, 00, 10, 00, 11, 20, 11, 0a, 00, 10, 00, 11, 11, 00, 14, 00, 19, 0a, 00, 23, 00, 27, 0d, 00, 2a, 02, 06, 17, 02, 0c, 02, 06, 13, 03, 01, 00, 02]
171171
Number of files: 1
172172
- file 0 => global file 1

‎tests/coverage/mcdc_nested_if.coverage renamed to ‎tests/coverage/mcdc/nested_if.coverage

File renamed without changes.

‎tests/coverage/mcdc_nested_if.rs renamed to ‎tests/coverage/mcdc/nested_if.rs

File renamed without changes.

‎tests/coverage/mcdc_non_control_flow.cov-map renamed to ‎tests/coverage/mcdc/non_control_flow.cov-map

+7-7
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Function name: mcdc_non_control_flow::assign_3
1+
Function name: non_control_flow::assign_3
22
Raw bytes (89): 0x[01, 01, 09, 05, 07, 0b, 11, 09, 0d, 01, 05, 01, 05, 22, 11, 01, 05, 22, 11, 01, 05, 0a, 01, 16, 01, 00, 28, 03, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 00, 03, 00, 0d, 00, 18, 30, 05, 22, 01, 00, 02, 00, 0d, 00, 0e, 22, 00, 12, 00, 13, 30, 1e, 11, 02, 03, 00, 00, 12, 00, 13, 1e, 00, 17, 00, 18, 30, 09, 0d, 03, 00, 00, 00, 17, 00, 18, 03, 01, 05, 01, 02]
33
Number of files: 1
44
- file 0 => global file 1
@@ -34,7 +34,7 @@ Number of file 0 mappings: 10
3434
- Code(Expression(0, Add)) at (prev + 1, 5) to (start + 1, 2)
3535
= (c1 + ((c2 + c3) + c4))
3636

37-
Function name: mcdc_non_control_flow::assign_3_bis
37+
Function name: non_control_flow::assign_3_bis
3838
Raw bytes (85): 0x[01, 01, 07, 07, 11, 09, 0d, 01, 05, 05, 09, 16, 1a, 05, 09, 01, 05, 0a, 01, 1b, 01, 00, 2c, 03, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 00, 03, 00, 0d, 00, 18, 30, 05, 1a, 01, 03, 02, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 30, 09, 16, 03, 00, 02, 00, 12, 00, 13, 13, 00, 17, 00, 18, 30, 0d, 11, 02, 00, 00, 00, 17, 00, 18, 03, 01, 05, 01, 02]
3939
Number of files: 1
4040
- file 0 => global file 1
@@ -67,7 +67,7 @@ Number of file 0 mappings: 10
6767
- Code(Expression(0, Add)) at (prev + 1, 5) to (start + 1, 2)
6868
= ((c2 + c3) + c4)
6969

70-
Function name: mcdc_non_control_flow::assign_and
70+
Function name: non_control_flow::assign_and
7171
Raw bytes (64): 0x[01, 01, 04, 07, 0e, 09, 0d, 01, 05, 01, 05, 08, 01, 0c, 01, 00, 21, 03, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 00, 02, 00, 0d, 00, 13, 30, 05, 0e, 01, 02, 00, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 30, 09, 0d, 02, 00, 00, 00, 12, 00, 13, 03, 01, 05, 01, 02]
7272
Number of files: 1
7373
- file 0 => global file 1
@@ -92,7 +92,7 @@ Number of file 0 mappings: 8
9292
- Code(Expression(0, Add)) at (prev + 1, 5) to (start + 1, 2)
9393
= ((c2 + c3) + (c0 - c1))
9494

95-
Function name: mcdc_non_control_flow::assign_or
95+
Function name: non_control_flow::assign_or
9696
Raw bytes (64): 0x[01, 01, 04, 07, 0d, 05, 09, 01, 05, 01, 05, 08, 01, 11, 01, 00, 20, 03, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 00, 02, 00, 0d, 00, 13, 30, 05, 0e, 01, 00, 02, 00, 0d, 00, 0e, 0e, 00, 12, 00, 13, 30, 09, 0d, 02, 00, 00, 00, 12, 00, 13, 03, 01, 05, 01, 02]
9797
Number of files: 1
9898
- file 0 => global file 1
@@ -118,15 +118,15 @@ Number of file 0 mappings: 8
118118
- Code(Expression(0, Add)) at (prev + 1, 5) to (start + 1, 2)
119119
= ((c1 + c2) + c3)
120120

121-
Function name: mcdc_non_control_flow::foo
121+
Function name: non_control_flow::foo
122122
Raw bytes (9): 0x[01, 01, 00, 01, 01, 25, 01, 02, 02]
123123
Number of files: 1
124124
- file 0 => global file 1
125125
Number of expressions: 0
126126
Number of file 0 mappings: 1
127127
- Code(Counter(0)) at (prev + 37, 1) to (start + 2, 2)
128128

129-
Function name: mcdc_non_control_flow::func_call
129+
Function name: non_control_flow::func_call
130130
Raw bytes (52): 0x[01, 01, 03, 01, 05, 0b, 02, 09, 0d, 06, 01, 29, 01, 01, 0a, 28, 00, 02, 01, 09, 00, 0f, 30, 05, 02, 01, 02, 00, 00, 09, 00, 0a, 05, 00, 0e, 00, 0f, 30, 09, 0d, 02, 00, 00, 00, 0e, 00, 0f, 07, 01, 01, 00, 02]
131131
Number of files: 1
132132
- file 0 => global file 1
@@ -147,7 +147,7 @@ Number of file 0 mappings: 6
147147
- Code(Expression(1, Add)) at (prev + 1, 1) to (start + 0, 2)
148148
= ((c2 + c3) + (c0 - c1))
149149

150-
Function name: mcdc_non_control_flow::right_comb_tree
150+
Function name: non_control_flow::right_comb_tree
151151
Raw bytes (139): 0x[01, 01, 13, 07, 1a, 0b, 19, 0f, 15, 13, 11, 09, 0d, 01, 05, 01, 05, 05, 19, 05, 19, 4a, 15, 05, 19, 4a, 15, 05, 19, 46, 11, 4a, 15, 05, 19, 46, 11, 4a, 15, 05, 19, 0e, 01, 20, 01, 00, 41, 03, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 00, 05, 00, 0d, 00, 2a, 30, 05, 1a, 01, 02, 00, 00, 0d, 00, 0e, 05, 00, 13, 00, 14, 30, 4a, 19, 02, 03, 00, 00, 13, 00, 14, 4a, 00, 19, 00, 1a, 30, 46, 15, 03, 04, 00, 00, 19, 00, 1a, 46, 00, 1f, 00, 20, 30, 42, 11, 04, 05, 00, 00, 1f, 00, 20, 42, 00, 24, 00, 27, 30, 09, 0d, 05, 00, 00, 00, 24, 00, 27, 03, 01, 05, 01, 02]
152152
Number of files: 1
153153
- file 0 => global file 1

‎tests/coverage/mcdc_non_control_flow.coverage renamed to ‎tests/coverage/mcdc/non_control_flow.coverage

File renamed without changes.

‎tests/coverage/mcdc_non_control_flow.rs renamed to ‎tests/coverage/mcdc/non_control_flow.rs

File renamed without changes.

0 commit comments

Comments
 (0)