Skip to content

Commit 7fcde17

Browse files
m-ou-sem-ou-se
committed
Bless coverage tests.
1 parent e533802 commit 7fcde17

File tree

5 files changed

+87
-128
lines changed

5 files changed

+87
-128
lines changed

‎tests/coverage/assert.cov-map‎

Lines changed: 5 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -26,15 +26,12 @@ Number of file 0 mappings: 9
2626
Highest counter ID seen: c3
2727

2828
Function name: assert::might_fail_assert
29-
Raw bytes (21): 0x[01, 01, 01, 01, 05, 03, 01, 04, 01, 02, 0f, 02, 02, 25, 00, 3d, 05, 01, 01, 00, 02]
29+
Raw bytes (14): 0x[01, 01, 00, 02, 01, 04, 01, 02, 3e, 05, 03, 01, 00, 02]
3030
Number of files: 1
3131
- file 0 => global file 1
32-
Number of expressions: 1
33-
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
34-
Number of file 0 mappings: 3
35-
- Code(Counter(0)) at (prev + 4, 1) to (start + 2, 15)
36-
- Code(Expression(0, Sub)) at (prev + 2, 37) to (start + 0, 61)
37-
= (c0 - c1)
38-
- Code(Counter(1)) at (prev + 1, 1) to (start + 0, 2)
32+
Number of expressions: 0
33+
Number of file 0 mappings: 2
34+
- Code(Counter(0)) at (prev + 4, 1) to (start + 2, 62)
35+
- Code(Counter(1)) at (prev + 3, 1) to (start + 0, 2)
3936
Highest counter ID seen: c1
4037

‎tests/coverage/bad_counter_ids.cov-map‎

Lines changed: 17 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -9,14 +9,13 @@ Number of file 0 mappings: 2
99
Highest counter ID seen: c0
1010

1111
Function name: bad_counter_ids::eq_bad_message
12-
Raw bytes (19): 0x[01, 01, 00, 03, 01, 29, 01, 02, 0f, 01, 02, 20, 00, 2b, 00, 01, 01, 00, 02]
12+
Raw bytes (14): 0x[01, 01, 00, 02, 01, 29, 01, 02, 2c, 00, 03, 01, 00, 02]
1313
Number of files: 1
1414
- file 0 => global file 1
1515
Number of expressions: 0
16-
Number of file 0 mappings: 3
17-
- Code(Counter(0)) at (prev + 41, 1) to (start + 2, 15)
18-
- Code(Counter(0)) at (prev + 2, 32) to (start + 0, 43)
19-
- Code(Zero) at (prev + 1, 1) to (start + 0, 2)
16+
Number of file 0 mappings: 2
17+
- Code(Counter(0)) at (prev + 41, 1) to (start + 2, 44)
18+
- Code(Zero) at (prev + 3, 1) to (start + 0, 2)
2019
Highest counter ID seen: c0
2120

2221
Function name: bad_counter_ids::eq_good
@@ -30,14 +29,13 @@ Number of file 0 mappings: 2
3029
Highest counter ID seen: c1
3130

3231
Function name: bad_counter_ids::eq_good_message
33-
Raw bytes (19): 0x[01, 01, 00, 03, 01, 15, 01, 02, 0f, 00, 02, 20, 00, 2b, 05, 01, 01, 00, 02]
32+
Raw bytes (14): 0x[01, 01, 00, 02, 01, 15, 01, 02, 2c, 05, 03, 01, 00, 02]
3433
Number of files: 1
3534
- file 0 => global file 1
3635
Number of expressions: 0
37-
Number of file 0 mappings: 3
38-
- Code(Counter(0)) at (prev + 21, 1) to (start + 2, 15)
39-
- Code(Zero) at (prev + 2, 32) to (start + 0, 43)
40-
- Code(Counter(1)) at (prev + 1, 1) to (start + 0, 2)
36+
Number of file 0 mappings: 2
37+
- Code(Counter(0)) at (prev + 21, 1) to (start + 2, 44)
38+
- Code(Counter(1)) at (prev + 3, 1) to (start + 0, 2)
4139
Highest counter ID seen: c1
4240

4341
Function name: bad_counter_ids::ne_bad
@@ -51,15 +49,14 @@ Number of file 0 mappings: 2
5149
Highest counter ID seen: c0
5250

5351
Function name: bad_counter_ids::ne_bad_message
54-
Raw bytes (19): 0x[01, 01, 00, 03, 01, 33, 01, 02, 0f, 05, 02, 20, 00, 2b, 00, 01, 01, 00, 02]
52+
Raw bytes (14): 0x[01, 01, 00, 02, 01, 33, 01, 02, 2c, 00, 03, 01, 00, 02]
5553
Number of files: 1
5654
- file 0 => global file 1
5755
Number of expressions: 0
58-
Number of file 0 mappings: 3
59-
- Code(Counter(0)) at (prev + 51, 1) to (start + 2, 15)
60-
- Code(Counter(1)) at (prev + 2, 32) to (start + 0, 43)
61-
- Code(Zero) at (prev + 1, 1) to (start + 0, 2)
62-
Highest counter ID seen: c1
56+
Number of file 0 mappings: 2
57+
- Code(Counter(0)) at (prev + 51, 1) to (start + 2, 44)
58+
- Code(Zero) at (prev + 3, 1) to (start + 0, 2)
59+
Highest counter ID seen: c0
6360

6461
Function name: bad_counter_ids::ne_good
6562
Raw bytes (14): 0x[01, 01, 00, 02, 01, 1a, 01, 02, 1f, 01, 03, 01, 00, 02]
@@ -72,13 +69,12 @@ Number of file 0 mappings: 2
7269
Highest counter ID seen: c0
7370

7471
Function name: bad_counter_ids::ne_good_message
75-
Raw bytes (19): 0x[01, 01, 00, 03, 01, 1f, 01, 02, 0f, 00, 02, 20, 00, 2b, 01, 01, 01, 00, 02]
72+
Raw bytes (14): 0x[01, 01, 00, 02, 01, 1f, 01, 02, 2c, 01, 03, 01, 00, 02]
7673
Number of files: 1
7774
- file 0 => global file 1
7875
Number of expressions: 0
79-
Number of file 0 mappings: 3
80-
- Code(Counter(0)) at (prev + 31, 1) to (start + 2, 15)
81-
- Code(Zero) at (prev + 2, 32) to (start + 0, 43)
82-
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
76+
Number of file 0 mappings: 2
77+
- Code(Counter(0)) at (prev + 31, 1) to (start + 2, 44)
78+
- Code(Counter(0)) at (prev + 3, 1) to (start + 0, 2)
8379
Highest counter ID seen: c0
8480

‎tests/coverage/closure_macro.cov-map‎

Lines changed: 4 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -25,20 +25,16 @@ Number of file 0 mappings: 6
2525
Highest counter ID seen: c1
2626

2727
Function name: closure_macro::main::{closure#0}
28-
Raw bytes (35): 0x[01, 01, 03, 01, 05, 01, 0b, 05, 09, 05, 01, 10, 1c, 03, 21, 05, 04, 11, 01, 27, 02, 03, 11, 00, 16, 06, 00, 17, 00, 1e, 01, 02, 09, 00, 0a]
28+
Raw bytes (26): 0x[01, 01, 01, 01, 05, 04, 01, 10, 1c, 03, 21, 05, 04, 11, 01, 27, 02, 03, 11, 00, 1f, 01, 02, 09, 00, 0a]
2929
Number of files: 1
3030
- file 0 => global file 1
31-
Number of expressions: 3
31+
Number of expressions: 1
3232
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
33-
- expression 1 operands: lhs = Counter(0), rhs = Expression(2, Add)
34-
- expression 2 operands: lhs = Counter(1), rhs = Counter(2)
35-
Number of file 0 mappings: 5
33+
Number of file 0 mappings: 4
3634
- Code(Counter(0)) at (prev + 16, 28) to (start + 3, 33)
3735
- Code(Counter(1)) at (prev + 4, 17) to (start + 1, 39)
38-
- Code(Expression(0, Sub)) at (prev + 3, 17) to (start + 0, 22)
36+
- Code(Expression(0, Sub)) at (prev + 3, 17) to (start + 0, 31)
3937
= (c0 - c1)
40-
- Code(Expression(1, Sub)) at (prev + 0, 23) to (start + 0, 30)
41-
= (c0 - (c1 + c2))
4238
- Code(Counter(0)) at (prev + 2, 9) to (start + 0, 10)
4339
Highest counter ID seen: c1
4440

‎tests/coverage/closure_macro_async.cov-map‎

Lines changed: 4 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -34,20 +34,16 @@ Number of file 0 mappings: 6
3434
Highest counter ID seen: c1
3535

3636
Function name: closure_macro_async::test::{closure#0}::{closure#0}
37-
Raw bytes (35): 0x[01, 01, 03, 01, 05, 01, 0b, 05, 09, 05, 01, 14, 1c, 03, 21, 05, 04, 11, 01, 27, 02, 03, 11, 00, 16, 06, 00, 17, 00, 1e, 01, 02, 09, 00, 0a]
37+
Raw bytes (26): 0x[01, 01, 01, 01, 05, 04, 01, 14, 1c, 03, 21, 05, 04, 11, 01, 27, 02, 03, 11, 00, 1f, 01, 02, 09, 00, 0a]
3838
Number of files: 1
3939
- file 0 => global file 1
40-
Number of expressions: 3
40+
Number of expressions: 1
4141
- expression 0 operands: lhs = Counter(0), rhs = Counter(1)
42-
- expression 1 operands: lhs = Counter(0), rhs = Expression(2, Add)
43-
- expression 2 operands: lhs = Counter(1), rhs = Counter(2)
44-
Number of file 0 mappings: 5
42+
Number of file 0 mappings: 4
4543
- Code(Counter(0)) at (prev + 20, 28) to (start + 3, 33)
4644
- Code(Counter(1)) at (prev + 4, 17) to (start + 1, 39)
47-
- Code(Expression(0, Sub)) at (prev + 3, 17) to (start + 0, 22)
45+
- Code(Expression(0, Sub)) at (prev + 3, 17) to (start + 0, 31)
4846
= (c0 - c1)
49-
- Code(Expression(1, Sub)) at (prev + 0, 23) to (start + 0, 30)
50-
= (c0 - (c1 + c2))
5147
- Code(Counter(0)) at (prev + 2, 9) to (start + 0, 10)
5248
Highest counter ID seen: c1
5349

‎tests/coverage/issue-84561.cov-map‎

Lines changed: 57 additions & 83 deletions
Original file line numberDiff line numberDiff line change
@@ -22,32 +22,27 @@ Number of file 0 mappings: 1
2222
Highest counter ID seen: c0
2323

2424
Function name: issue_84561::test1
25-
Raw bytes (50): 0x[01, 01, 00, 09, 01, 9a, 01, 01, 01, 0b, 05, 01, 0c, 00, 1e, 01, 01, 05, 00, 0b, 09, 00, 0c, 00, 1e, 01, 01, 0d, 01, 0b, 0d, 01, 0c, 00, 1e, 01, 01, 05, 03, 0b, 11, 03, 0c, 00, 1e, 01, 01, 01, 00, 02]
25+
Raw bytes (30): 0x[01, 01, 00, 05, 01, 9a, 01, 01, 01, 1f, 01, 02, 05, 00, 1f, 01, 01, 0d, 01, 1f, 01, 02, 05, 03, 1f, 01, 04, 01, 00, 02]
2626
Number of files: 1
2727
- file 0 => global file 1
2828
Number of expressions: 0
29-
Number of file 0 mappings: 9
30-
- Code(Counter(0)) at (prev + 154, 1) to (start + 1, 11)
31-
- Code(Counter(1)) at (prev + 1, 12) to (start + 0, 30)
32-
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 11)
33-
- Code(Counter(2)) at (prev + 0, 12) to (start + 0, 30)
34-
- Code(Counter(0)) at (prev + 1, 13) to (start + 1, 11)
35-
- Code(Counter(3)) at (prev + 1, 12) to (start + 0, 30)
36-
- Code(Counter(0)) at (prev + 1, 5) to (start + 3, 11)
37-
- Code(Counter(4)) at (prev + 3, 12) to (start + 0, 30)
38-
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
39-
Highest counter ID seen: c4
29+
Number of file 0 mappings: 5
30+
- Code(Counter(0)) at (prev + 154, 1) to (start + 1, 31)
31+
- Code(Counter(0)) at (prev + 2, 5) to (start + 0, 31)
32+
- Code(Counter(0)) at (prev + 1, 13) to (start + 1, 31)
33+
- Code(Counter(0)) at (prev + 2, 5) to (start + 3, 31)
34+
- Code(Counter(0)) at (prev + 4, 1) to (start + 0, 2)
35+
Highest counter ID seen: c0
4036

4137
Function name: issue_84561::test2
42-
Raw bytes (20): 0x[01, 01, 00, 03, 01, b0, 01, 01, 01, 10, 05, 01, 11, 00, 23, 01, 01, 01, 00, 02]
38+
Raw bytes (15): 0x[01, 01, 00, 02, 01, b0, 01, 01, 01, 24, 01, 02, 01, 00, 02]
4339
Number of files: 1
4440
- file 0 => global file 1
4541
Number of expressions: 0
46-
Number of file 0 mappings: 3
47-
- Code(Counter(0)) at (prev + 176, 1) to (start + 1, 16)
48-
- Code(Counter(1)) at (prev + 1, 17) to (start + 0, 35)
49-
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
50-
Highest counter ID seen: c1
42+
Number of file 0 mappings: 2
43+
- Code(Counter(0)) at (prev + 176, 1) to (start + 1, 36)
44+
- Code(Counter(0)) at (prev + 2, 1) to (start + 0, 2)
45+
Highest counter ID seen: c0
5146

5247
Function name: issue_84561::test2::call_print
5348
Raw bytes (10): 0x[01, 01, 00, 01, 01, a7, 01, 09, 02, 0a]
@@ -59,109 +54,88 @@ Number of file 0 mappings: 1
5954
Highest counter ID seen: c0
6055

6156
Function name: issue_84561::test3
62-
Raw bytes (315): 0x[01, 01, 1b, 1d, 21, 25, 29, 21, 25, 2d, 31, 21, 17, 25, 2d, 41, 45, 49, 4d, 51, 55, 33, 51, 49, 4d, 33, 37, 49, 4d, 51, 59, 55, 59, 55, 59, 47, 5d, 55, 59, 61, 65, 71, 75, 69, 6d, 69, 6d, 69, 6d, 63, 79, 71, 75, 79, 7d, 7d, 81, 01, 33, 01, 08, 01, 03, 1c, 05, 04, 09, 01, 1c, 09, 02, 05, 04, 1f, 0d, 05, 05, 00, 1f, 11, 01, 05, 00, 1f, 15, 01, 09, 01, 1c, 19, 02, 05, 00, 1f, 1d, 01, 05, 00, 0f, 02, 00, 20, 00, 30, 21, 01, 05, 03, 0f, 25, 03, 20, 00, 30, 29, 00, 33, 00, 41, 06, 00, 4b, 00, 5a, 0a, 01, 05, 00, 0f, 2d, 05, 09, 03, 10, 31, 05, 0d, 00, 1b, 0e, 02, 0d, 00, 1c, 12, 04, 09, 05, 06, 35, 06, 05, 03, 06, 39, 04, 05, 03, 06, 3d, 04, 09, 04, 06, 41, 05, 08, 00, 0f, 45, 01, 09, 03, 0a, 1a, 05, 09, 03, 0a, 33, 05, 08, 00, 0f, 51, 01, 09, 00, 13, 22, 03, 0d, 00, 1d, 26, 03, 09, 00, 13, 2e, 03, 0d, 00, 1d, 47, 03, 05, 00, 0f, 47, 01, 0c, 00, 13, 5d, 01, 0d, 00, 13, 42, 02, 0d, 00, 13, 61, 04, 05, 02, 13, 65, 03, 0d, 00, 13, 4a, 02, 0d, 00, 13, 63, 03, 05, 00, 0f, 69, 01, 0c, 00, 13, 6d, 01, 0d, 03, 0e, 71, 04, 0d, 00, 13, 5a, 02, 0d, 00, 17, 5a, 01, 14, 00, 1b, 00, 01, 15, 00, 1b, 5a, 02, 15, 00, 1b, 75, 04, 0d, 00, 13, 5e, 03, 09, 00, 19, 79, 02, 05, 00, 0f, 66, 03, 09, 00, 22, 7d, 02, 05, 00, 0f, 6a, 03, 09, 00, 2c, 81, 01, 02, 01, 00, 02]
57+
Raw bytes (266): 0x[01, 01, 12, 25, 29, 21, 25, 2d, 31, 21, 13, 25, 2d, 41, 45, 49, 4d, 23, 51, 49, 4d, 55, 59, 55, 59, 33, 5d, 55, 59, 61, 65, 71, 75, 69, 6d, 69, 6d, 69, 6d, 2d, 01, 08, 01, 03, 1c, 05, 04, 09, 01, 1c, 09, 02, 05, 04, 1f, 0d, 05, 05, 00, 1f, 11, 01, 05, 00, 1f, 15, 01, 09, 01, 1c, 19, 02, 05, 00, 1f, 1d, 01, 05, 00, 31, 21, 01, 05, 03, 0f, 25, 03, 29, 00, 30, 29, 00, 33, 00, 41, 02, 00, 4b, 00, 5a, 06, 01, 05, 00, 0f, 2d, 08, 09, 00, 10, 31, 02, 0d, 00, 1b, 0a, 02, 0d, 00, 1c, 0e, 04, 09, 05, 06, 35, 06, 05, 03, 06, 39, 04, 05, 03, 06, 3d, 04, 09, 04, 06, 41, 05, 08, 00, 0f, 45, 01, 09, 03, 0a, 16, 05, 09, 03, 0a, 23, 05, 08, 00, 0f, 51, 01, 09, 04, 0a, 1e, 06, 09, 04, 0a, 33, 06, 05, 00, 0f, 33, 01, 0c, 00, 13, 5d, 01, 0d, 00, 13, 2e, 02, 0d, 00, 13, 61, 04, 05, 02, 13, 65, 03, 0d, 00, 13, 36, 02, 0d, 00, 13, 3b, 03, 05, 00, 0f, 69, 01, 0c, 00, 13, 6d, 01, 0d, 03, 0e, 71, 04, 0d, 00, 13, 46, 02, 0d, 00, 17, 46, 01, 14, 00, 1b, 00, 01, 15, 00, 1b, 46, 02, 15, 00, 1b, 75, 04, 0d, 00, 13, 79, 05, 05, 04, 06, 7d, 05, 05, 04, 06, 81, 01, 05, 01, 00, 02]
6358
Number of files: 1
6459
- file 0 => global file 1
65-
Number of expressions: 27
66-
- expression 0 operands: lhs = Counter(7), rhs = Counter(8)
67-
- expression 1 operands: lhs = Counter(9), rhs = Counter(10)
68-
- expression 2 operands: lhs = Counter(8), rhs = Counter(9)
69-
- expression 3 operands: lhs = Counter(11), rhs = Counter(12)
70-
- expression 4 operands: lhs = Counter(8), rhs = Expression(5, Add)
71-
- expression 5 operands: lhs = Counter(9), rhs = Counter(11)
72-
- expression 6 operands: lhs = Counter(16), rhs = Counter(17)
73-
- expression 7 operands: lhs = Counter(18), rhs = Counter(19)
74-
- expression 8 operands: lhs = Counter(20), rhs = Counter(21)
75-
- expression 9 operands: lhs = Expression(12, Add), rhs = Counter(20)
76-
- expression 10 operands: lhs = Counter(18), rhs = Counter(19)
77-
- expression 11 operands: lhs = Expression(12, Add), rhs = Expression(13, Add)
78-
- expression 12 operands: lhs = Counter(18), rhs = Counter(19)
79-
- expression 13 operands: lhs = Counter(20), rhs = Counter(22)
80-
- expression 14 operands: lhs = Counter(21), rhs = Counter(22)
81-
- expression 15 operands: lhs = Counter(21), rhs = Counter(22)
82-
- expression 16 operands: lhs = Expression(17, Add), rhs = Counter(23)
83-
- expression 17 operands: lhs = Counter(21), rhs = Counter(22)
84-
- expression 18 operands: lhs = Counter(24), rhs = Counter(25)
85-
- expression 19 operands: lhs = Counter(28), rhs = Counter(29)
86-
- expression 20 operands: lhs = Counter(26), rhs = Counter(27)
87-
- expression 21 operands: lhs = Counter(26), rhs = Counter(27)
88-
- expression 22 operands: lhs = Counter(26), rhs = Counter(27)
89-
- expression 23 operands: lhs = Expression(24, Add), rhs = Counter(30)
90-
- expression 24 operands: lhs = Counter(28), rhs = Counter(29)
91-
- expression 25 operands: lhs = Counter(30), rhs = Counter(31)
92-
- expression 26 operands: lhs = Counter(31), rhs = Counter(32)
93-
Number of file 0 mappings: 51
60+
Number of expressions: 18
61+
- expression 0 operands: lhs = Counter(9), rhs = Counter(10)
62+
- expression 1 operands: lhs = Counter(8), rhs = Counter(9)
63+
- expression 2 operands: lhs = Counter(11), rhs = Counter(12)
64+
- expression 3 operands: lhs = Counter(8), rhs = Expression(4, Add)
65+
- expression 4 operands: lhs = Counter(9), rhs = Counter(11)
66+
- expression 5 operands: lhs = Counter(16), rhs = Counter(17)
67+
- expression 6 operands: lhs = Counter(18), rhs = Counter(19)
68+
- expression 7 operands: lhs = Expression(8, Add), rhs = Counter(20)
69+
- expression 8 operands: lhs = Counter(18), rhs = Counter(19)
70+
- expression 9 operands: lhs = Counter(21), rhs = Counter(22)
71+
- expression 10 operands: lhs = Counter(21), rhs = Counter(22)
72+
- expression 11 operands: lhs = Expression(12, Add), rhs = Counter(23)
73+
- expression 12 operands: lhs = Counter(21), rhs = Counter(22)
74+
- expression 13 operands: lhs = Counter(24), rhs = Counter(25)
75+
- expression 14 operands: lhs = Counter(28), rhs = Counter(29)
76+
- expression 15 operands: lhs = Counter(26), rhs = Counter(27)
77+
- expression 16 operands: lhs = Counter(26), rhs = Counter(27)
78+
- expression 17 operands: lhs = Counter(26), rhs = Counter(27)
79+
Number of file 0 mappings: 45
9480
- Code(Counter(0)) at (prev + 8, 1) to (start + 3, 28)
9581
- Code(Counter(1)) at (prev + 4, 9) to (start + 1, 28)
9682
- Code(Counter(2)) at (prev + 2, 5) to (start + 4, 31)
9783
- Code(Counter(3)) at (prev + 5, 5) to (start + 0, 31)
9884
- Code(Counter(4)) at (prev + 1, 5) to (start + 0, 31)
9985
- Code(Counter(5)) at (prev + 1, 9) to (start + 1, 28)
10086
- Code(Counter(6)) at (prev + 2, 5) to (start + 0, 31)
101-
- Code(Counter(7)) at (prev + 1, 5) to (start + 0, 15)
102-
- Code(Expression(0, Sub)) at (prev + 0, 32) to (start + 0, 48)
103-
= (c7 - c8)
87+
- Code(Counter(7)) at (prev + 1, 5) to (start + 0, 49)
10488
- Code(Counter(8)) at (prev + 1, 5) to (start + 3, 15)
105-
- Code(Counter(9)) at (prev + 3, 32) to (start + 0, 48)
89+
- Code(Counter(9)) at (prev + 3, 41) to (start + 0, 48)
10690
- Code(Counter(10)) at (prev + 0, 51) to (start + 0, 65)
107-
- Code(Expression(1, Sub)) at (prev + 0, 75) to (start + 0, 90)
91+
- Code(Expression(0, Sub)) at (prev + 0, 75) to (start + 0, 90)
10892
= (c9 - c10)
109-
- Code(Expression(2, Sub)) at (prev + 1, 5) to (start + 0, 15)
93+
- Code(Expression(1, Sub)) at (prev + 1, 5) to (start + 0, 15)
11094
= (c8 - c9)
111-
- Code(Counter(11)) at (prev + 5, 9) to (start + 3, 16)
112-
- Code(Counter(12)) at (prev + 5, 13) to (start + 0, 27)
113-
- Code(Expression(3, Sub)) at (prev + 2, 13) to (start + 0, 28)
95+
- Code(Counter(11)) at (prev + 8, 9) to (start + 0, 16)
96+
- Code(Counter(12)) at (prev + 2, 13) to (start + 0, 27)
97+
- Code(Expression(2, Sub)) at (prev + 2, 13) to (start + 0, 28)
11498
= (c11 - c12)
115-
- Code(Expression(4, Sub)) at (prev + 4, 9) to (start + 5, 6)
99+
- Code(Expression(3, Sub)) at (prev + 4, 9) to (start + 5, 6)
116100
= (c8 - (c9 + c11))
117101
- Code(Counter(13)) at (prev + 6, 5) to (start + 3, 6)
118102
- Code(Counter(14)) at (prev + 4, 5) to (start + 3, 6)
119103
- Code(Counter(15)) at (prev + 4, 9) to (start + 4, 6)
120104
- Code(Counter(16)) at (prev + 5, 8) to (start + 0, 15)
121105
- Code(Counter(17)) at (prev + 1, 9) to (start + 3, 10)
122-
- Code(Expression(6, Sub)) at (prev + 5, 9) to (start + 3, 10)
106+
- Code(Expression(5, Sub)) at (prev + 5, 9) to (start + 3, 10)
123107
= (c16 - c17)
124-
- Code(Expression(12, Add)) at (prev + 5, 8) to (start + 0, 15)
108+
- Code(Expression(8, Add)) at (prev + 5, 8) to (start + 0, 15)
125109
= (c18 + c19)
126-
- Code(Counter(20)) at (prev + 1, 9) to (start + 0, 19)
127-
- Code(Expression(8, Sub)) at (prev + 3, 13) to (start + 0, 29)
128-
= (c20 - c21)
129-
- Code(Expression(9, Sub)) at (prev + 3, 9) to (start + 0, 19)
110+
- Code(Counter(20)) at (prev + 1, 9) to (start + 4, 10)
111+
- Code(Expression(7, Sub)) at (prev + 6, 9) to (start + 4, 10)
130112
= ((c18 + c19) - c20)
131-
- Code(Expression(11, Sub)) at (prev + 3, 13) to (start + 0, 29)
132-
= ((c18 + c19) - (c20 + c22))
133-
- Code(Expression(17, Add)) at (prev + 3, 5) to (start + 0, 15)
113+
- Code(Expression(12, Add)) at (prev + 6, 5) to (start + 0, 15)
134114
= (c21 + c22)
135-
- Code(Expression(17, Add)) at (prev + 1, 12) to (start + 0, 19)
115+
- Code(Expression(12, Add)) at (prev + 1, 12) to (start + 0, 19)
136116
= (c21 + c22)
137117
- Code(Counter(23)) at (prev + 1, 13) to (start + 0, 19)
138-
- Code(Expression(16, Sub)) at (prev + 2, 13) to (start + 0, 19)
118+
- Code(Expression(11, Sub)) at (prev + 2, 13) to (start + 0, 19)
139119
= ((c21 + c22) - c23)
140120
- Code(Counter(24)) at (prev + 4, 5) to (start + 2, 19)
141121
- Code(Counter(25)) at (prev + 3, 13) to (start + 0, 19)
142-
- Code(Expression(18, Sub)) at (prev + 2, 13) to (start + 0, 19)
122+
- Code(Expression(13, Sub)) at (prev + 2, 13) to (start + 0, 19)
143123
= (c24 - c25)
144-
- Code(Expression(24, Add)) at (prev + 3, 5) to (start + 0, 15)
124+
- Code(Expression(14, Add)) at (prev + 3, 5) to (start + 0, 15)
145125
= (c28 + c29)
146126
- Code(Counter(26)) at (prev + 1, 12) to (start + 0, 19)
147127
- Code(Counter(27)) at (prev + 1, 13) to (start + 3, 14)
148128
- Code(Counter(28)) at (prev + 4, 13) to (start + 0, 19)
149-
- Code(Expression(22, Sub)) at (prev + 2, 13) to (start + 0, 23)
129+
- Code(Expression(17, Sub)) at (prev + 2, 13) to (start + 0, 23)
150130
= (c26 - c27)
151-
- Code(Expression(22, Sub)) at (prev + 1, 20) to (start + 0, 27)
131+
- Code(Expression(17, Sub)) at (prev + 1, 20) to (start + 0, 27)
152132
= (c26 - c27)
153133
- Code(Zero) at (prev + 1, 21) to (start + 0, 27)
154-
- Code(Expression(22, Sub)) at (prev + 2, 21) to (start + 0, 27)
134+
- Code(Expression(17, Sub)) at (prev + 2, 21) to (start + 0, 27)
155135
= (c26 - c27)
156136
- Code(Counter(29)) at (prev + 4, 13) to (start + 0, 19)
157-
- Code(Expression(23, Sub)) at (prev + 3, 9) to (start + 0, 25)
158-
= ((c28 + c29) - c30)
159-
- Code(Counter(30)) at (prev + 2, 5) to (start + 0, 15)
160-
- Code(Expression(25, Sub)) at (prev + 3, 9) to (start + 0, 34)
161-
= (c30 - c31)
162-
- Code(Counter(31)) at (prev + 2, 5) to (start + 0, 15)
163-
- Code(Expression(26, Sub)) at (prev + 3, 9) to (start + 0, 44)
164-
= (c31 - c32)
165-
- Code(Counter(32)) at (prev + 2, 1) to (start + 0, 2)
137+
- Code(Counter(30)) at (prev + 5, 5) to (start + 4, 6)
138+
- Code(Counter(31)) at (prev + 5, 5) to (start + 4, 6)
139+
- Code(Counter(32)) at (prev + 5, 1) to (start + 0, 2)
166140
Highest counter ID seen: c32
167141

0 commit comments

Comments
 (0)