Skip to content

Commit 4136c71

Browse files
committed
Bless tests.
1 parent 2205bcd commit 4136c71

31 files changed

+333
-435
lines changed

tests/coverage/abort.cov-map

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -37,16 +37,15 @@ Number of file 0 mappings: 16
3737
Highest counter ID seen: c4
3838

3939
Function name: abort::might_abort
40-
Raw bytes (41): 0x[01, 01, 01, 01, 05, 07, 01, 03, 01, 00, 2e, 01, 01, 08, 00, 14, 05, 01, 09, 00, 11, 05, 00, 12, 00, 1f, 05, 01, 09, 00, 0f, 02, 01, 0c, 02, 06, 02, 03, 01, 00, 02]
40+
Raw bytes (36): 0x[01, 01, 01, 01, 05, 06, 01, 03, 01, 00, 2e, 01, 01, 08, 00, 14, 05, 01, 09, 00, 11, 05, 01, 09, 00, 0f, 02, 01, 0c, 02, 06, 02, 03, 01, 00, 02]
4141
Number of files: 1
4242
- file 0 => $DIR/abort.rs
4343
Number of expressions: 1
4444
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
45-
Number of file 0 mappings: 7
45+
Number of file 0 mappings: 6
4646
- Code(Counter(0)) at (prev + 3, 1) to (start + 0, 46)
4747
- Code(Counter(0)) at (prev + 1, 8) to (start + 0, 20)
4848
- Code(Counter(1)) at (prev + 1, 9) to (start + 0, 17)
49-
- Code(Counter(1)) at (prev + 0, 18) to (start + 0, 31)
5049
- Code(Counter(1)) at (prev + 1, 9) to (start + 0, 15)
5150
- Code(Expression(0, Sub)) at (prev + 1, 12) to (start + 2, 6)
5251
= (c0 - c1)

tests/coverage/assert.cov-map

Lines changed: 3 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -29,18 +29,14 @@ Number of file 0 mappings: 12
2929
Highest counter ID seen: c3
3030

3131
Function name: assert::might_fail_assert
32-
Raw bytes (36): 0x[01, 01, 01, 01, 05, 06, 01, 04, 01, 00, 28, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 20, 01, 01, 05, 00, 0f, 02, 00, 25, 00, 3d, 05, 01, 01, 00, 02]
32+
Raw bytes (24): 0x[01, 01, 00, 04, 01, 04, 01, 00, 28, 01, 01, 05, 00, 0d, 01, 01, 05, 00, 0f, 05, 01, 01, 00, 02]
3333
Number of files: 1
3434
- file 0 => $DIR/assert.rs
35-
Number of expressions: 1
36-
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
37-
Number of file 0 mappings: 6
35+
Number of expressions: 0
36+
Number of file 0 mappings: 4
3837
- Code(Counter(0)) at (prev + 4, 1) to (start + 0, 40)
3938
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
40-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 32)
4139
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15)
42-
- Code(Expression(0, Sub)) at (prev + 0, 37) to (start + 0, 61)
43-
= (c0 - c1)
4440
- Code(Counter(1)) at (prev + 1, 1) to (start + 0, 2)
4541
Highest counter ID seen: c1
4642

tests/coverage/async2.cov-map

Lines changed: 8 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -8,14 +8,13 @@ Number of file 0 mappings: 1
88
Highest counter ID seen: c0
99

1010
Function name: async2::async_func::{closure#0}
11-
Raw bytes (49): 0x[01, 01, 00, 09, 01, 0f, 17, 00, 18, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 26, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 11, 01, 01, 08, 00, 09, 01, 00, 0a, 02, 06, 00, 02, 05, 00, 06, 01, 01, 01, 00, 02]
11+
Raw bytes (44): 0x[01, 01, 00, 08, 01, 0f, 17, 00, 18, 01, 01, 05, 00, 0d, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 11, 01, 01, 08, 00, 09, 01, 00, 0a, 02, 06, 00, 02, 05, 00, 06, 01, 01, 01, 00, 02]
1212
Number of files: 1
1313
- file 0 => $DIR/async2.rs
1414
Number of expressions: 0
15-
Number of file 0 mappings: 9
15+
Number of file 0 mappings: 8
1616
- Code(Counter(0)) at (prev + 15, 23) to (start + 0, 24)
1717
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
18-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 38)
1918
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
2019
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 17)
2120
- Code(Counter(0)) at (prev + 1, 8) to (start + 0, 9)
@@ -34,26 +33,24 @@ Number of file 0 mappings: 1
3433
Highest counter ID seen: c0
3534

3635
Function name: async2::async_func_just_println::{closure#0}
37-
Raw bytes (24): 0x[01, 01, 00, 04, 01, 17, 24, 00, 25, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 33, 01, 01, 01, 00, 02]
36+
Raw bytes (19): 0x[01, 01, 00, 03, 01, 17, 24, 00, 25, 01, 01, 05, 00, 0d, 01, 01, 01, 00, 02]
3837
Number of files: 1
3938
- file 0 => $DIR/async2.rs
4039
Number of expressions: 0
41-
Number of file 0 mappings: 4
40+
Number of file 0 mappings: 3
4241
- Code(Counter(0)) at (prev + 23, 36) to (start + 0, 37)
4342
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
44-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 51)
4543
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
4644
Highest counter ID seen: c0
4745

4846
Function name: async2::main
49-
Raw bytes (49): 0x[01, 01, 00, 09, 01, 1b, 01, 00, 0a, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 23, 01, 02, 05, 00, 13, 01, 02, 05, 00, 17, 01, 00, 18, 00, 22, 01, 01, 05, 00, 17, 01, 00, 18, 00, 2f, 01, 01, 01, 00, 02]
47+
Raw bytes (44): 0x[01, 01, 00, 08, 01, 1b, 01, 00, 0a, 01, 01, 05, 00, 0d, 01, 02, 05, 00, 13, 01, 02, 05, 00, 17, 01, 00, 18, 00, 22, 01, 01, 05, 00, 17, 01, 00, 18, 00, 2f, 01, 01, 01, 00, 02]
5048
Number of files: 1
5149
- file 0 => $DIR/async2.rs
5250
Number of expressions: 0
53-
Number of file 0 mappings: 9
51+
Number of file 0 mappings: 8
5452
- Code(Counter(0)) at (prev + 27, 1) to (start + 0, 10)
5553
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
56-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 35)
5754
- Code(Counter(0)) at (prev + 2, 5) to (start + 0, 19)
5855
- Code(Counter(0)) at (prev + 2, 5) to (start + 0, 23)
5956
- Code(Counter(0)) at (prev + 0, 24) to (start + 0, 34)
@@ -63,14 +60,13 @@ Number of file 0 mappings: 9
6360
Highest counter ID seen: c0
6461

6562
Function name: async2::non_async_func
66-
Raw bytes (49): 0x[01, 01, 00, 09, 01, 07, 01, 00, 14, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 2a, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 11, 01, 01, 08, 00, 09, 01, 00, 0a, 02, 06, 00, 02, 05, 00, 06, 01, 01, 01, 00, 02]
63+
Raw bytes (44): 0x[01, 01, 00, 08, 01, 07, 01, 00, 14, 01, 01, 05, 00, 0d, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 11, 01, 01, 08, 00, 09, 01, 00, 0a, 02, 06, 00, 02, 05, 00, 06, 01, 01, 01, 00, 02]
6764
Number of files: 1
6865
- file 0 => $DIR/async2.rs
6966
Number of expressions: 0
70-
Number of file 0 mappings: 9
67+
Number of file 0 mappings: 8
7168
- Code(Counter(0)) at (prev + 7, 1) to (start + 0, 20)
7269
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
73-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 42)
7470
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
7571
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 17)
7672
- Code(Counter(0)) at (prev + 1, 8) to (start + 0, 9)
Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,11 @@
11
Function name: <trait_impl_inherit::S as trait_impl_inherit::T>::f
2-
Raw bytes (24): 0x[01, 01, 00, 04, 01, 11, 05, 00, 10, 01, 01, 09, 00, 11, 01, 00, 12, 00, 1a, 01, 01, 05, 00, 06]
2+
Raw bytes (19): 0x[01, 01, 00, 03, 01, 11, 05, 00, 10, 01, 01, 09, 00, 11, 01, 01, 05, 00, 06]
33
Number of files: 1
44
- file 0 => $DIR/trait-impl-inherit.rs
55
Number of expressions: 0
6-
Number of file 0 mappings: 4
6+
Number of file 0 mappings: 3
77
- Code(Counter(0)) at (prev + 17, 5) to (start + 0, 16)
88
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 17)
9-
- Code(Counter(0)) at (prev + 0, 18) to (start + 0, 26)
109
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 6)
1110
Highest counter ID seen: c0
1211

Lines changed: 16 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -1,108 +1,96 @@
11
Function name: bad_counter_ids::eq_bad
2-
Raw bytes (29): 0x[01, 01, 00, 05, 01, 24, 01, 00, 0c, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 11, 01, 01, 05, 00, 0f, 00, 01, 01, 00, 02]
2+
Raw bytes (24): 0x[01, 01, 00, 04, 01, 24, 01, 00, 0c, 01, 01, 05, 00, 0d, 01, 01, 05, 00, 0f, 00, 01, 01, 00, 02]
33
Number of files: 1
44
- file 0 => $DIR/bad_counter_ids.rs
55
Number of expressions: 0
6-
Number of file 0 mappings: 5
6+
Number of file 0 mappings: 4
77
- Code(Counter(0)) at (prev + 36, 1) to (start + 0, 12)
88
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
9-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 17)
109
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15)
1110
- Code(Zero) at (prev + 1, 1) to (start + 0, 2)
1211
Highest counter ID seen: c0
1312

1413
Function name: bad_counter_ids::eq_bad_message
15-
Raw bytes (34): 0x[01, 01, 00, 06, 01, 29, 01, 00, 14, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 11, 01, 01, 05, 00, 0f, 01, 00, 20, 00, 2b, 00, 01, 01, 00, 02]
14+
Raw bytes (24): 0x[01, 01, 00, 04, 01, 29, 01, 00, 14, 01, 01, 05, 00, 0d, 01, 01, 05, 00, 0f, 00, 01, 01, 00, 02]
1615
Number of files: 1
1716
- file 0 => $DIR/bad_counter_ids.rs
1817
Number of expressions: 0
19-
Number of file 0 mappings: 6
18+
Number of file 0 mappings: 4
2019
- Code(Counter(0)) at (prev + 41, 1) to (start + 0, 20)
2120
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
22-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 17)
2321
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15)
24-
- Code(Counter(0)) at (prev + 0, 32) to (start + 0, 43)
2522
- Code(Zero) at (prev + 1, 1) to (start + 0, 2)
2623
Highest counter ID seen: c0
2724

2825
Function name: bad_counter_ids::eq_good
29-
Raw bytes (29): 0x[01, 01, 00, 05, 01, 10, 01, 00, 0d, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 11, 01, 01, 05, 00, 0f, 01, 01, 01, 00, 02]
26+
Raw bytes (24): 0x[01, 01, 00, 04, 01, 10, 01, 00, 0d, 01, 01, 05, 00, 0d, 01, 01, 05, 00, 0f, 01, 01, 01, 00, 02]
3027
Number of files: 1
3128
- file 0 => $DIR/bad_counter_ids.rs
3229
Number of expressions: 0
33-
Number of file 0 mappings: 5
30+
Number of file 0 mappings: 4
3431
- Code(Counter(0)) at (prev + 16, 1) to (start + 0, 13)
3532
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
36-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 17)
3733
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15)
3834
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
3935
Highest counter ID seen: c0
4036

4137
Function name: bad_counter_ids::eq_good_message
42-
Raw bytes (34): 0x[01, 01, 00, 06, 01, 15, 01, 00, 15, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 11, 01, 01, 05, 00, 0f, 00, 00, 20, 00, 2b, 01, 01, 01, 00, 02]
38+
Raw bytes (24): 0x[01, 01, 00, 04, 01, 15, 01, 00, 15, 01, 01, 05, 00, 0d, 01, 01, 05, 00, 0f, 01, 01, 01, 00, 02]
4339
Number of files: 1
4440
- file 0 => $DIR/bad_counter_ids.rs
4541
Number of expressions: 0
46-
Number of file 0 mappings: 6
42+
Number of file 0 mappings: 4
4743
- Code(Counter(0)) at (prev + 21, 1) to (start + 0, 21)
4844
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
49-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 17)
5045
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15)
51-
- Code(Zero) at (prev + 0, 32) to (start + 0, 43)
5246
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
5347
Highest counter ID seen: c0
5448

5549
Function name: bad_counter_ids::ne_bad
56-
Raw bytes (29): 0x[01, 01, 00, 05, 01, 2e, 01, 00, 0c, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 11, 01, 01, 05, 00, 0f, 00, 01, 01, 00, 02]
50+
Raw bytes (24): 0x[01, 01, 00, 04, 01, 2e, 01, 00, 0c, 01, 01, 05, 00, 0d, 01, 01, 05, 00, 0f, 00, 01, 01, 00, 02]
5751
Number of files: 1
5852
- file 0 => $DIR/bad_counter_ids.rs
5953
Number of expressions: 0
60-
Number of file 0 mappings: 5
54+
Number of file 0 mappings: 4
6155
- Code(Counter(0)) at (prev + 46, 1) to (start + 0, 12)
6256
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
63-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 17)
6457
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15)
6558
- Code(Zero) at (prev + 1, 1) to (start + 0, 2)
6659
Highest counter ID seen: c0
6760

6861
Function name: bad_counter_ids::ne_bad_message
69-
Raw bytes (34): 0x[01, 01, 00, 06, 01, 33, 01, 00, 14, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 11, 01, 01, 05, 00, 0f, 01, 00, 20, 00, 2b, 00, 01, 01, 00, 02]
62+
Raw bytes (24): 0x[01, 01, 00, 04, 01, 33, 01, 00, 14, 01, 01, 05, 00, 0d, 01, 01, 05, 00, 0f, 00, 01, 01, 00, 02]
7063
Number of files: 1
7164
- file 0 => $DIR/bad_counter_ids.rs
7265
Number of expressions: 0
73-
Number of file 0 mappings: 6
66+
Number of file 0 mappings: 4
7467
- Code(Counter(0)) at (prev + 51, 1) to (start + 0, 20)
7568
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
76-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 17)
7769
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15)
78-
- Code(Counter(0)) at (prev + 0, 32) to (start + 0, 43)
7970
- Code(Zero) at (prev + 1, 1) to (start + 0, 2)
8071
Highest counter ID seen: c0
8172

8273
Function name: bad_counter_ids::ne_good
83-
Raw bytes (29): 0x[01, 01, 00, 05, 01, 1a, 01, 00, 0d, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 11, 01, 01, 05, 00, 0f, 01, 01, 01, 00, 02]
74+
Raw bytes (24): 0x[01, 01, 00, 04, 01, 1a, 01, 00, 0d, 01, 01, 05, 00, 0d, 01, 01, 05, 00, 0f, 01, 01, 01, 00, 02]
8475
Number of files: 1
8576
- file 0 => $DIR/bad_counter_ids.rs
8677
Number of expressions: 0
87-
Number of file 0 mappings: 5
78+
Number of file 0 mappings: 4
8879
- Code(Counter(0)) at (prev + 26, 1) to (start + 0, 13)
8980
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
90-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 17)
9181
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15)
9282
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
9383
Highest counter ID seen: c0
9484

9585
Function name: bad_counter_ids::ne_good_message
96-
Raw bytes (34): 0x[01, 01, 00, 06, 01, 1f, 01, 00, 15, 01, 01, 05, 00, 0d, 01, 00, 0e, 00, 11, 01, 01, 05, 00, 0f, 00, 00, 20, 00, 2b, 01, 01, 01, 00, 02]
86+
Raw bytes (24): 0x[01, 01, 00, 04, 01, 1f, 01, 00, 15, 01, 01, 05, 00, 0d, 01, 01, 05, 00, 0f, 01, 01, 01, 00, 02]
9787
Number of files: 1
9888
- file 0 => $DIR/bad_counter_ids.rs
9989
Number of expressions: 0
100-
Number of file 0 mappings: 6
90+
Number of file 0 mappings: 4
10191
- Code(Counter(0)) at (prev + 31, 1) to (start + 0, 21)
10292
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 13)
103-
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 17)
10493
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 15)
105-
- Code(Zero) at (prev + 0, 32) to (start + 0, 43)
10694
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
10795
Highest counter ID seen: c0
10896

0 commit comments

Comments
 (0)