Jenkins

JaCoCo Coverage Report

Download jacoco.exec binary coverage file

Overall Coverage Summary

name

instruction

branch

complexity

line

method

class

all classes

42%
M: 376866 C: 274698

31%
M: 46856 C: 20894

32%
M: 46195 C: 22113

43%
M: 81746 C: 62468

44%
M: 19021 C: 15223

83%
M: 293 C: 1442

Coverage Breakdown by Package

name

instruction

branch

complexity

line

method

class

(default)

M: 2417 C: 99
4%

M: 176 C: 6
3%

M: 171 C: 8
4%

M: 511 C: 25
5%

M: 82 C: 6
7%

M: 8 C: 2
20%

org.overture.annotations.examples

M: 104 C: 0
0%

M: 8 C: 0
0%

M: 14 C: 0
0%

M: 33 C: 0
0%

M: 10 C: 0
0%

M: 2 C: 0
0%

org.overture.annotations.provided

M: 1335 C: 0
0%

M: 42 C: 0
0%

M: 151 C: 0
0%

M: 283 C: 0
0%

M: 130 C: 0
0%

M: 6 C: 0
0%

org.overture.ast.analysis

M: 79423 C: 33180
29%

M: 11677 C: 3043
21%

M: 10744 C: 2585
19%

M: 15508 C: 7374
32%

M: 3963 C: 2006
34%

M: 2 C: 7
78%

org.overture.ast.analysis.intf

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

org.overture.ast.annotations

M: 375 C: 22
6%

M: 38 C: 2
5%

M: 53 C: 2
4%

M: 100 C: 5
5%

M: 33 C: 2
6%

M: 2 C: 1
33%

org.overture.ast.assistant

M: 5 C: 52
91%

M: 0 C: 0
100%

M: 1 C: 10
91%

M: 1 C: 10
91%

M: 1 C: 10
91%

M: 0 C: 1
100%

org.overture.ast.assistant.definition

M: 45 C: 116
72%

M: 12 C: 14
54%

M: 10 C: 13
57%

M: 9 C: 30
77%

M: 2 C: 8
80%

M: 0 C: 2
100%

org.overture.ast.assistant.pattern

M: 21 C: 76
78%

M: 1 C: 1
50%

M: 2 C: 8
80%

M: 4 C: 21
84%

M: 1 C: 8
89%

M: 0 C: 2
100%

org.overture.ast.assistant.type

M: 127 C: 142
53%

M: 18 C: 18
50%

M: 16 C: 15
48%

M: 31 C: 42
58%

M: 6 C: 7
54%

M: 0 C: 3
100%

org.overture.ast.definitions

M: 6885 C: 5125
43%

M: 929 C: 411
31%

M: 739 C: 609
45%

M: 1554 C: 1298
46%

M: 172 C: 506
75%

M: 0 C: 34
100%

org.overture.ast.definitions.relations

M: 549 C: 139
20%

M: 68 C: 18
21%

M: 73 C: 17
19%

M: 142 C: 53
27%

M: 30 C: 17
36%

M: 0 C: 3
100%

org.overture.ast.definitions.traces

M: 987 C: 608
38%

M: 124 C: 38
23%

M: 155 C: 82
35%

M: 248 C: 177
42%

M: 76 C: 80
51%

M: 1 C: 10
91%

org.overture.ast.expressions

M: 12496 C: 10028
45%

M: 1678 C: 568
25%

M: 1672 C: 1295
44%

M: 3225 C: 2623
45%

M: 642 C: 1202
65%

M: 1 C: 119
99%

org.overture.ast.factory

M: 274 C: 5328
95%

M: 16 C: 58
78%

M: 32 C: 337
91%

M: 76 C: 1511
95%

M: 17 C: 315
95%

M: 0 C: 3
100%

org.overture.ast.intf.lex

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

org.overture.ast.lex

M: 2144 C: 6773
76%

M: 275 C: 105
28%

M: 232 C: 188
45%

M: 464 C: 477
51%

M: 82 C: 146
64%

M: 2 C: 18
90%

org.overture.ast.messages

M: 0 C: 36
100%

M: 0 C: 0
100%

M: 0 C: 2
100%

M: 0 C: 8
100%

M: 0 C: 2
100%

M: 0 C: 1
100%

org.overture.ast.modules

M: 2672 C: 947
26%

M: 302 C: 82
21%

M: 335 C: 155
32%

M: 630 C: 315
33%

M: 164 C: 134
45%

M: 0 C: 20
100%

org.overture.ast.node

M: 827 C: 634
43%

M: 113 C: 75
40%

M: 118 C: 68
37%

M: 212 C: 162
43%

M: 53 C: 39
42%

M: 0 C: 8
100%

org.overture.ast.node.tokens

M: 118 C: 88
43%

M: 14 C: 2
13%

M: 18 C: 18
50%

M: 28 C: 30
52%

M: 10 C: 18
64%

M: 0 C: 2
100%

org.overture.ast.patterns

M: 3432 C: 2606
43%

M: 464 C: 152
25%

M: 491 C: 361
42%

M: 842 C: 754
47%

M: 208 C: 336
62%

M: 3 C: 33
92%

org.overture.ast.preview

M: 1223 C: 0
0%

M: 68 C: 0
0%

M: 78 C: 0
0%

M: 254 C: 0
0%

M: 44 C: 0
0%

M: 8 C: 0
0%

org.overture.ast.statements

M: 7043 C: 4849
41%

M: 894 C: 368
29%

M: 949 C: 616
39%

M: 1743 C: 1410
45%

M: 371 C: 563
60%

M: 3 C: 50
94%

org.overture.ast.typechecker

M: 0 C: 243
100%

M: 0 C: 2
100%

M: 0 C: 6
100%

M: 0 C: 19
100%

M: 0 C: 5
100%

M: 0 C: 3
100%

org.overture.ast.types

M: 3064 C: 3293
52%

M: 387 C: 247
39%

M: 421 C: 519
55%

M: 750 C: 872
54%

M: 183 C: 440
71%

M: 1 C: 40
98%

org.overture.ast.util

M: 427 C: 1104
72%

M: 84 C: 100
54%

M: 60 C: 76
56%

M: 89 C: 210
70%

M: 13 C: 31
70%

M: 0 C: 6
100%

org.overture.ast.util.definitions

M: 57 C: 63
52%

M: 8 C: 4
33%

M: 7 C: 7
50%

M: 14 C: 15
52%

M: 3 C: 5
63%

M: 0 C: 1
100%

org.overture.ast.util.modules

M: 103 C: 234
69%

M: 19 C: 19
50%

M: 15 C: 17
53%

M: 24 C: 51
68%

M: 4 C: 9
69%

M: 0 C: 2
100%

org.overture.ast.util.pattern

M: 89 C: 136
60%

M: 2 C: 8
80%

M: 6 C: 11
65%

M: 15 C: 28
65%

M: 5 C: 7
58%

M: 0 C: 1
100%

org.overture.ast.util.test

M: 111 C: 168
60%

M: 22 C: 24
52%

M: 21 C: 21
50%

M: 26 C: 35
57%

M: 3 C: 16
84%

M: 0 C: 1
100%

org.overture.ast.util.type

M: 236 C: 164
41%

M: 17 C: 15
47%

M: 39 C: 22
36%

M: 39 C: 37
49%

M: 29 C: 16
36%

M: 1 C: 2
67%

org.overture.cgisa.isair.analysis

M: 15913 C: 3
0%

M: 2428 C: 0
0%

M: 2305 C: 1
0%

M: 4301 C: 2
0%

M: 1091 C: 1
0%

M: 4 C: 1
20%

org.overture.cgisa.isair.analysis.intf

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

org.overture.cgisa.isair.declarations

M: 207 C: 0
0%

M: 20 C: 0
0%

M: 26 C: 0
0%

M: 49 C: 0
0%

M: 16 C: 0
0%

M: 1 C: 0
0%

org.overture.cgisa.isair.node

M: 94 C: 0
0%

M: 12 C: 0
0%

M: 20 C: 0
0%

M: 28 C: 0
0%

M: 14 C: 0
0%

M: 2 C: 0
0%

org.overture.codegen.analysis.vdm

M: 115 C: 2745
96%

M: 41 C: 315
88%

M: 47 C: 257
85%

M: 35 C: 665
95%

M: 6 C: 120
95%

M: 1 C: 12
92%

org.overture.codegen.analysis.violations

M: 16 C: 600
97%

M: 9 C: 57
86%

M: 11 C: 64
85%

M: 6 C: 146
96%

M: 2 C: 40
95%

M: 0 C: 10
100%

org.overture.codegen.assistant

M: 927 C: 4168
82%

M: 201 C: 529
72%

M: 176 C: 372
68%

M: 206 C: 993
83%

M: 25 C: 158
86%

M: 2 C: 14
88%

org.overture.codegen.ir

M: 2393 C: 2940
55%

M: 368 C: 186
34%

M: 409 C: 319
44%

M: 619 C: 773
56%

M: 190 C: 261
58%

M: 3 C: 42
93%

org.overture.codegen.ir.analysis

M: 73044 C: 13647
16%

M: 8448 C: 1248
13%

M: 9387 C: 1285
12%

M: 14642 C: 3774
20%

M: 4788 C: 1036
18%

M: 6 C: 3
33%

org.overture.codegen.ir.analysis.intf

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

org.overture.codegen.ir.declarations

M: 7466 C: 3207
30%

M: 721 C: 287
28%

M: 816 C: 405
33%

M: 1649 C: 857
34%

M: 370 C: 347
48%

M: 6 C: 30
83%

org.overture.codegen.ir.expressions

M: 16343 C: 8561
34%

M: 1893 C: 337
15%

M: 2150 C: 1081
33%

M: 3977 C: 2349
37%

M: 1060 C: 1056
50%

M: 14 C: 134
91%

org.overture.codegen.ir.name

M: 147 C: 132
47%

M: 7 C: 5
42%

M: 19 C: 21
52%

M: 35 C: 35
50%

M: 14 C: 20
59%

M: 0 C: 2
100%

org.overture.codegen.ir.patterns

M: 1661 C: 949
36%

M: 155 C: 35
18%

M: 230 C: 135
37%

M: 396 C: 266
40%

M: 142 C: 128
47%

M: 1 C: 16
94%

org.overture.codegen.ir.statements

M: 7856 C: 3745
32%

M: 833 C: 307
27%

M: 1026 C: 494
33%

M: 1757 C: 1180
40%

M: 493 C: 457
48%

M: 7 C: 48
87%

org.overture.codegen.ir.traces

M: 1194 C: 358
23%

M: 114 C: 30
21%

M: 152 C: 55
27%

M: 276 C: 104
27%

M: 81 C: 54
40%

M: 1 C: 7
88%

org.overture.codegen.ir.types

M: 3355 C: 1920
36%

M: 338 C: 62
16%

M: 441 C: 275
38%

M: 787 C: 539
41%

M: 249 C: 267
52%

M: 0 C: 38
100%

org.overture.codegen.ir.utils

M: 316 C: 102
24%

M: 32 C: 10
24%

M: 50 C: 12
19%

M: 79 C: 27
25%

M: 31 C: 10
24%

M: 2 C: 1
33%

org.overture.codegen.merging

M: 147 C: 386
72%

M: 21 C: 21
50%

M: 23 C: 35
60%

M: 30 C: 95
76%

M: 8 C: 29
78%

M: 0 C: 5
100%

org.overture.codegen.mojocg

M: 806 C: 0
0%

M: 76 C: 0
0%

M: 55 C: 0
0%

M: 177 C: 0
0%

M: 17 C: 0
0%

M: 4 C: 0
0%

org.overture.codegen.mojocg.util

M: 221 C: 0
0%

M: 12 C: 0
0%

M: 15 C: 0
0%

M: 47 C: 0
0%

M: 9 C: 0
0%

M: 2 C: 0
0%

org.overture.codegen.printer

M: 25 C: 34
58%

M: 7 C: 5
42%

M: 9 C: 6
40%

M: 14 C: 14
50%

M: 4 C: 5
56%

M: 0 C: 3
100%

org.overture.codegen.runtime

M: 3789 C: 997
21%

M: 468 C: 128
21%

M: 414 C: 80
16%

M: 922 C: 235
20%

M: 154 C: 42
21%

M: 7 C: 11
61%

org.overture.codegen.runtime.copying

M: 284 C: 0
0%

M: 12 C: 0
0%

M: 23 C: 0
0%

M: 67 C: 0
0%

M: 17 C: 0
0%

M: 3 C: 0
0%

org.overture.codegen.runtime.traces

M: 2526 C: 283
10%

M: 225 C: 25
10%

M: 238 C: 23
9%

M: 578 C: 63
10%

M: 124 C: 12
9%

M: 26 C: 3
10%

org.overture.codegen.tests.exec.util

M: 1952 C: 123
6%

M: 255 C: 3
1%

M: 185 C: 10
5%

M: 473 C: 23
5%

M: 57 C: 9
14%

M: 6 C: 3
33%

org.overture.codegen.tests.exec.util.testhandlers

M: 721 C: 55
7%

M: 26 C: 0
0%

M: 40 C: 8
17%

M: 133 C: 20
13%

M: 27 C: 8
23%

M: 0 C: 6
100%

org.overture.codegen.tests.output.util

M: 86 C: 277
76%

M: 7 C: 25
78%

M: 12 C: 23
66%

M: 21 C: 65
76%

M: 5 C: 14
74%

M: 1 C: 3
75%

org.overture.codegen.tests.util

M: 21 C: 101
83%

M: 4 C: 14
78%

M: 6 C: 8
57%

M: 4 C: 18
82%

M: 3 C: 2
40%

M: 1 C: 1
50%

org.overture.codegen.traces

M: 537 C: 3625
87%

M: 68 C: 160
70%

M: 77 C: 196
72%

M: 115 C: 742
87%

M: 20 C: 139
87%

M: 0 C: 15
100%

org.overture.codegen.trans

M: 461 C: 6214
93%

M: 89 C: 487
85%

M: 84 C: 386
82%

M: 98 C: 1505
94%

M: 3 C: 179
98%

M: 0 C: 29
100%

org.overture.codegen.trans.assistants

M: 242 C: 1358
85%

M: 26 C: 92
78%

M: 26 C: 81
76%

M: 47 C: 331
88%

M: 5 C: 43
90%

M: 0 C: 2
100%

org.overture.codegen.trans.comp

M: 0 C: 276
100%

M: 0 C: 6
100%

M: 0 C: 19
100%

M: 0 C: 61
100%

M: 0 C: 16
100%

M: 0 C: 5
100%

org.overture.codegen.trans.conc

M: 63 C: 1893
97%

M: 24 C: 112
82%

M: 23 C: 77
77%

M: 23 C: 434
95%

M: 1 C: 31
97%

M: 0 C: 5
100%

org.overture.codegen.trans.conv

M: 56 C: 259
82%

M: 11 C: 7
39%

M: 11 C: 14
56%

M: 11 C: 72
87%

M: 4 C: 12
75%

M: 0 C: 2
100%

org.overture.codegen.trans.funcvalues

M: 17 C: 448
96%

M: 1 C: 21
95%

M: 2 C: 24
92%

M: 4 C: 105
96%

M: 1 C: 14
93%

M: 0 C: 3
100%

org.overture.codegen.trans.iota

M: 19 C: 313
94%

M: 3 C: 3
50%

M: 4 C: 7
64%

M: 4 C: 65
94%

M: 1 C: 7
88%

M: 0 C: 1
100%

org.overture.codegen.trans.iterator

M: 0 C: 141
100%

M: 0 C: 0
100%

M: 0 C: 9
100%

M: 0 C: 22
100%

M: 0 C: 9
100%

M: 0 C: 2
100%

org.overture.codegen.trans.let

M: 0 C: 221
100%

M: 0 C: 4
100%

M: 0 C: 11
100%

M: 0 C: 42
100%

M: 0 C: 9
100%

M: 0 C: 1
100%

org.overture.codegen.trans.letexps

M: 6 C: 113
95%

M: 1 C: 9
90%

M: 1 C: 8
89%

M: 1 C: 33
97%

M: 0 C: 4
100%

M: 0 C: 2
100%

org.overture.codegen.trans.patterns

M: 298 C: 2898
91%

M: 37 C: 207
85%

M: 37 C: 169
82%

M: 54 C: 665
92%

M: 5 C: 79
94%

M: 0 C: 6
100%

org.overture.codegen.trans.quantifier

M: 3 C: 199
99%

M: 2 C: 10
83%

M: 2 C: 17
89%

M: 1 C: 34
97%

M: 0 C: 13
100%

M: 0 C: 5
100%

org.overture.codegen.trans.uniontypes

M: 139 C: 2021
94%

M: 38 C: 214
85%

M: 35 C: 145
81%

M: 31 C: 479
94%

M: 0 C: 54
100%

M: 0 C: 5
100%

org.overture.codegen.utils

M: 1137 C: 655
37%

M: 127 C: 65
34%

M: 114 C: 68
37%

M: 247 C: 142
37%

M: 39 C: 47
55%

M: 3 C: 5
63%

org.overture.codegen.vdm2java

M: 2331 C: 9022
79%

M: 374 C: 806
68%

M: 299 C: 634
68%

M: 537 C: 1995
79%

M: 48 C: 295
86%

M: 2 C: 30
94%

org.overture.codegen.vdm2jml

M: 388 C: 2298
86%

M: 45 C: 181
80%

M: 46 C: 141
75%

M: 93 C: 515
85%

M: 6 C: 68
92%

M: 0 C: 5
100%

org.overture.codegen.vdm2jml.data

M: 19 C: 300
94%

M: 7 C: 37
84%

M: 7 C: 33
83%

M: 5 C: 75
94%

M: 0 C: 18
100%

M: 0 C: 2
100%

org.overture.codegen.vdm2jml.predgen

M: 284 C: 2323
89%

M: 63 C: 217
78%

M: 59 C: 157
73%

M: 68 C: 509
88%

M: 2 C: 74
97%

M: 0 C: 6
100%

org.overture.codegen.vdm2jml.predgen.info

M: 232 C: 1177
84%

M: 39 C: 77
66%

M: 33 C: 84
72%

M: 55 C: 250
82%

M: 7 C: 52
88%

M: 0 C: 13
100%

org.overture.codegen.vdm2jml.runtime

M: 244 C: 0
0%

M: 28 C: 0
0%

M: 27 C: 0
0%

M: 52 C: 0
0%

M: 13 C: 0
0%

M: 1 C: 0
0%

org.overture.codegen.vdm2jml.trans

M: 261 C: 1467
85%

M: 39 C: 85
69%

M: 34 C: 73
68%

M: 54 C: 334
86%

M: 2 C: 43
96%

M: 0 C: 7
100%

org.overture.codegen.vdm2jml.util

M: 176 C: 183
51%

M: 32 C: 16
33%

M: 30 C: 20
40%

M: 35 C: 51
59%

M: 12 C: 14
54%

M: 0 C: 4
100%

org.overture.codegen.visitor

M: 1182 C: 7302
86%

M: 111 C: 387
78%

M: 122 C: 402
77%

M: 256 C: 1652
87%

M: 21 C: 254
92%

M: 0 C: 20
100%

org.overture.config

M: 52 C: 88
63%

M: 3 C: 3
50%

M: 5 C: 5
50%

M: 12 C: 22
65%

M: 3 C: 4
57%

M: 0 C: 2
100%

org.overture.core.npp

M: 29 C: 642
96%

M: 2 C: 6
75%

M: 9 C: 92
91%

M: 12 C: 184
94%

M: 8 C: 89
92%

M: 0 C: 5
100%

org.overture.core.testing

M: 474 C: 596
56%

M: 48 C: 34
41%

M: 52 C: 36
41%

M: 104 C: 140
57%

M: 16 C: 28
64%

M: 0 C: 7
100%

org.overture.ct.ctruntime

M: 792 C: 1453
65%

M: 98 C: 131
57%

M: 93 C: 70
43%

M: 200 C: 378
65%

M: 11 C: 37
77%

M: 0 C: 5
100%

org.overture.ct.ctruntime.server.common

M: 28 C: 0
0%

M: 0 C: 0
100%

M: 5 C: 0
0%

M: 14 C: 0
0%

M: 5 C: 0
0%

M: 1 C: 0
0%

org.overture.ct.ctruntime.server.xml

M: 1156 C: 0
0%

M: 91 C: 0
0%

M: 81 C: 0
0%

M: 240 C: 0
0%

M: 31 C: 0
0%

M: 7 C: 0
0%

org.overture.ct.ctruntime.utils

M: 187 C: 728
80%

M: 46 C: 34
43%

M: 44 C: 40
48%

M: 38 C: 150
80%

M: 12 C: 32
73%

M: 1 C: 10
91%

org.overture.ct.utils

M: 113 C: 684
86%

M: 3 C: 21
88%

M: 20 C: 31
61%

M: 34 C: 106
76%

M: 17 C: 22
56%

M: 3 C: 3
50%

org.overture.interpreter

M: 1767 C: 537
23%

M: 206 C: 50
20%

M: 133 C: 24
15%

M: 431 C: 130
23%

M: 12 C: 17
59%

M: 2 C: 3
60%

org.overture.interpreter.annotations

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

org.overture.interpreter.assistant

M: 45 C: 181
80%

M: 0 C: 0
100%

M: 9 C: 36
80%

M: 9 C: 36
80%

M: 9 C: 36
80%

M: 0 C: 1
100%

org.overture.interpreter.assistant.definition

M: 502 C: 1722
77%

M: 55 C: 163
75%

M: 54 C: 110
67%

M: 110 C: 348
76%

M: 16 C: 39
71%

M: 0 C: 7
100%

org.overture.interpreter.assistant.expression

M: 80 C: 209
72%

M: 9 C: 15
63%

M: 10 C: 15
60%

M: 21 C: 51
71%

M: 3 C: 10
77%

M: 0 C: 3
100%

org.overture.interpreter.assistant.module

M: 269 C: 182
40%

M: 43 C: 21
33%

M: 32 C: 14
30%

M: 69 C: 47
41%

M: 8 C: 6
43%

M: 0 C: 2
100%

org.overture.interpreter.assistant.pattern

M: 35 C: 252
88%

M: 0 C: 10
100%

M: 2 C: 19
90%

M: 12 C: 46
79%

M: 2 C: 14
88%

M: 0 C: 4
100%

org.overture.interpreter.assistant.statement

M: 29 C: 0
0%

M: 0 C: 0
100%

M: 3 C: 0
0%

M: 9 C: 0
0%

M: 3 C: 0
0%

M: 1 C: 0
0%

org.overture.interpreter.assistant.type

M: 21 C: 54
72%

M: 0 C: 2
100%

M: 0 C: 8
100%

M: 4 C: 14
78%

M: 0 C: 7
100%

M: 0 C: 2
100%

org.overture.interpreter.ast.expressions

M: 102 C: 0
0%

M: 13 C: 0
0%

M: 17 C: 0
0%

M: 22 C: 0
0%

M: 9 C: 0
0%

M: 1 C: 0
0%

org.overture.interpreter.commands

M: 4122 C: 3
0%

M: 389 C: 1
0%

M: 293 C: 1
0%

M: 895 C: 2
0%

M: 98 C: 1
1%

M: 3 C: 1
25%

org.overture.interpreter.debug

M: 12950 C: 104
1%

M: 1216 C: 7
1%

M: 875 C: 9
1%

M: 2659 C: 17
1%

M: 232 C: 6
3%

M: 23 C: 2
8%

org.overture.interpreter.eval

M: 5288 C: 5402
51%

M: 465 C: 399
46%

M: 342 C: 276
45%

M: 1049 C: 1021
49%

M: 51 C: 133
72%

M: 0 C: 8
100%

org.overture.interpreter.messages

M: 337 C: 116
26%

M: 20 C: 2
9%

M: 34 C: 12
26%

M: 87 C: 38
30%

M: 21 C: 12
36%

M: 3 C: 5
63%

org.overture.interpreter.messages.rtlog

M: 1030 C: 257
20%

M: 72 C: 4
5%

M: 86 C: 22
20%

M: 197 C: 71
26%

M: 48 C: 21
30%

M: 7 C: 14
67%

org.overture.interpreter.messages.rtlog.nextgen

M: 2894 C: 160
5%

M: 135 C: 2
1%

M: 145 C: 7
5%

M: 605 C: 42
6%

M: 71 C: 7
9%

M: 16 C: 3
16%

org.overture.interpreter.runtime

M: 4381 C: 1674
28%

M: 395 C: 111
22%

M: 350 C: 139
28%

M: 860 C: 430
33%

M: 133 C: 100
43%

M: 8 C: 19
70%

org.overture.interpreter.runtime.state

M: 66 C: 85
56%

M: 6 C: 0
0%

M: 9 C: 8
47%

M: 19 C: 21
52%

M: 6 C: 8
57%

M: 2 C: 4
67%

org.overture.interpreter.runtime.validation

M: 2141 C: 0
0%

M: 216 C: 0
0%

M: 172 C: 0
0%

M: 448 C: 0
0%

M: 61 C: 0
0%

M: 11 C: 0
0%

org.overture.interpreter.scheduler

M: 2603 C: 2093
45%

M: 244 C: 163
40%

M: 276 C: 188
41%

M: 618 C: 548
47%

M: 120 C: 137
53%

M: 6 C: 23
79%

org.overture.interpreter.solver

M: 36 C: 0
0%

M: 2 C: 0
0%

M: 3 C: 0
0%

M: 7 C: 0
0%

M: 2 C: 0
0%

M: 1 C: 0
0%

org.overture.interpreter.traces

M: 510 C: 2466
83%

M: 69 C: 196
74%

M: 84 C: 157
65%

M: 117 C: 538
82%

M: 32 C: 75
70%

M: 2 C: 20
91%

org.overture.interpreter.traces.util

M: 20 C: 138
87%

M: 1 C: 7
88%

M: 3 C: 14
82%

M: 2 C: 33
94%

M: 2 C: 11
85%

M: 0 C: 4
100%

org.overture.interpreter.util

M: 589 C: 869
60%

M: 65 C: 80
55%

M: 53 C: 52
50%

M: 128 C: 220
63%

M: 7 C: 24
77%

M: 0 C: 5
100%

org.overture.interpreter.utilities

M: 759 C: 122
14%

M: 58 C: 4
6%

M: 73 C: 13
15%

M: 133 C: 23
15%

M: 43 C: 12
22%

M: 0 C: 1
100%

org.overture.interpreter.utilities.definition

M: 1033 C: 822
44%

M: 140 C: 66
32%

M: 132 C: 59
31%

M: 205 C: 145
41%

M: 54 C: 34
39%

M: 3 C: 5
63%

org.overture.interpreter.utilities.expression

M: 1771 C: 247
12%

M: 174 C: 14
7%

M: 177 C: 17
9%

M: 368 C: 47
11%

M: 87 C: 13
13%

M: 2 C: 1
33%

org.overture.interpreter.utilities.pattern

M: 2474 C: 1120
31%

M: 282 C: 92
25%

M: 215 C: 70
25%

M: 514 C: 252
33%

M: 61 C: 37
38%

M: 1 C: 8
89%

org.overture.interpreter.utilities.statement

M: 912 C: 0
0%

M: 114 C: 0
0%

M: 108 C: 0
0%

M: 208 C: 0
0%

M: 51 C: 0
0%

M: 2 C: 0
0%

org.overture.interpreter.utilities.stdlibs

M: 1 C: 125
99%

M: 1 C: 15
94%

M: 1 C: 14
93%

M: 0 C: 34
100%

M: 0 C: 7
100%

M: 0 C: 2
100%

org.overture.interpreter.utilities.type

M: 414 C: 374
47%

M: 25 C: 21
46%

M: 35 C: 22
39%

M: 77 C: 83
52%

M: 22 C: 12
35%

M: 0 C: 2
100%

org.overture.interpreter.values

M: 5052 C: 7044
58%

M: 461 C: 651
59%

M: 534 C: 592
53%

M: 954 C: 1599
63%

M: 222 C: 345
61%

M: 4 C: 44
92%

org.overture.isapog

M: 269 C: 254
49%

M: 18 C: 2
10%

M: 21 C: 6
22%

M: 71 C: 53
43%

M: 12 C: 5
29%

M: 1 C: 1
50%

org.overture.parser.annotations

M: 79 C: 0
0%

M: 8 C: 0
0%

M: 17 C: 0
0%

M: 24 C: 0
0%

M: 13 C: 0
0%

M: 1 C: 0
0%

org.overture.parser.config

M: 69 C: 42
38%

M: 7 C: 1
13%

M: 5 C: 2
29%

M: 19 C: 20
51%

M: 1 C: 2
67%

M: 0 C: 1
100%

org.overture.parser.lex

M: 1038 C: 1964
65%

M: 111 C: 233
68%

M: 98 C: 162
62%

M: 207 C: 487
70%

M: 21 C: 44
68%

M: 5 C: 5
50%

org.overture.parser.messages

M: 141 C: 151
52%

M: 7 C: 3
30%

M: 14 C: 12
46%

M: 33 C: 37
53%

M: 10 C: 11
52%

M: 1 C: 6
86%

org.overture.parser.syntax

M: 2291 C: 10816
83%

M: 338 C: 985
74%

M: 292 C: 712
71%

M: 506 C: 2781
85%

M: 20 C: 232
92%

M: 0 C: 10
100%

org.overture.parser.util

M: 122 C: 238
66%

M: 5 C: 11
69%

M: 14 C: 18
56%

M: 25 C: 58
70%

M: 10 C: 14
58%

M: 1 C: 3
75%

org.overture.pof

M: 183 C: 30
14%

M: 25 C: 3
11%

M: 29 C: 6
17%

M: 47 C: 13
22%

M: 15 C: 6
29%

M: 0 C: 2
100%

org.overture.pof.analysis

M: 21297 C: 0
0%

M: 3684 C: 0
0%

M: 2951 C: 0
0%

M: 5393 C: 0
0%

M: 1109 C: 0
0%

M: 5 C: 0
0%

org.overture.pof.analysis.intf

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

org.overture.pog.annotations

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

org.overture.pog.contexts

M: 753 C: 2260
75%

M: 61 C: 135
69%

M: 64 C: 155
71%

M: 197 C: 554
74%

M: 28 C: 93
77%

M: 1 C: 18
95%

org.overture.pog.obligation

M: 2191 C: 5604
72%

M: 149 C: 223
60%

M: 141 C: 216
61%

M: 442 C: 1133
72%

M: 44 C: 127
74%

M: 3 C: 35
92%

org.overture.pog.pub

M: 20 C: 573
97%

M: 0 C: 2
100%

M: 3 C: 7
70%

M: 5 C: 43
90%

M: 3 C: 6
67%

M: 0 C: 3
100%

org.overture.pog.utility

M: 109 C: 267
71%

M: 10 C: 14
58%

M: 18 C: 29
62%

M: 29 C: 64
69%

M: 11 C: 24
69%

M: 1 C: 6
86%

org.overture.pog.visitors

M: 2655 C: 6146
70%

M: 244 C: 390
62%

M: 291 C: 351
55%

M: 515 C: 1125
69%

M: 120 C: 205
63%

M: 2 C: 15
88%

org.overture.prettyprinter

M: 1373 C: 0
0%

M: 92 C: 0
0%

M: 90 C: 0
0%

M: 223 C: 0
0%

M: 44 C: 0
0%

M: 4 C: 0
0%

org.overture.test.framework

M: 803 C: 814
50%

M: 86 C: 74
46%

M: 88 C: 46
34%

M: 179 C: 150
46%

M: 30 C: 24
44%

M: 2 C: 8
80%

org.overture.test.framework.results

M: 45 C: 179
80%

M: 3 C: 17
85%

M: 9 C: 17
65%

M: 13 C: 37
74%

M: 7 C: 9
56%

M: 0 C: 2
100%

org.overture.test.util

M: 975 C: 185
16%

M: 52 C: 12
19%

M: 56 C: 11
16%

M: 247 C: 43
15%

M: 27 C: 7
21%

M: 4 C: 1
20%

org.overture.typechecker

M: 919 C: 4593
83%

M: 170 C: 666
80%

M: 169 C: 425
72%

M: 198 C: 1033
84%

M: 31 C: 145
82%

M: 0 C: 20
100%

org.overture.typechecker.annotations

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

M: 0 C: 0
100%

org.overture.typechecker.assistant

M: 22 C: 531
96%

M: 2 C: 10
83%

M: 4 C: 103
96%

M: 5 C: 108
96%

M: 3 C: 98
97%

M: 0 C: 1
100%

org.overture.typechecker.assistant.definition

M: 409 C: 4084
91%

M: 72 C: 426
86%

M: 62 C: 312
83%

M: 109 C: 811
88%

M: 7 C: 117
94%

M: 0 C: 10
100%

org.overture.typechecker.assistant.expression

M: 0 C: 68
100%

M: 0 C: 4
100%

M: 0 C: 5
100%

M: 0 C: 15
100%

M: 0 C: 3
100%

M: 0 C: 1
100%

org.overture.typechecker.assistant.module

M: 17 C: 490
97%

M: 1 C: 57
98%

M: 1 C: 47
98%

M: 8 C: 101
93%

M: 0 C: 19
100%

M: 0 C: 3
100%

org.overture.typechecker.assistant.pattern

M: 102 C: 397
80%

M: 8 C: 23
74%

M: 8 C: 40
83%

M: 31 C: 81
72%

M: 4 C: 28
88%

M: 0 C: 7
100%

org.overture.typechecker.assistant.type

M: 228 C: 892
80%

M: 17 C: 73
81%

M: 15 C: 92
86%

M: 92 C: 165
64%

M: 3 C: 59
95%

M: 0 C: 5
100%

org.overture.typechecker.util

M: 175 C: 485
73%

M: 11 C: 13
54%

M: 26 C: 42
62%

M: 38 C: 98
72%

M: 18 C: 38
68%

M: 0 C: 7
100%

org.overture.typechecker.utilities

M: 1129 C: 7951
88%

M: 190 C: 636
77%

M: 243 C: 665
73%

M: 224 C: 1507
87%

M: 106 C: 389
79%

M: 2 C: 28
93%

org.overture.typechecker.utilities.expression

M: 301 C: 1518
83%

M: 36 C: 122
77%

M: 46 C: 113
71%

M: 54 C: 320
86%

M: 19 C: 61
76%

M: 0 C: 5
100%

org.overture.typechecker.utilities.pattern

M: 726 C: 1223
63%

M: 68 C: 52
43%

M: 76 C: 96
56%

M: 145 C: 242
63%

M: 35 C: 77
69%

M: 0 C: 10
100%

org.overture.typechecker.utilities.type

M: 1588 C: 4821
75%

M: 246 C: 478
66%

M: 288 C: 436
60%

M: 316 C: 1013
76%

M: 118 C: 244
67%

M: 2 C: 38
95%

org.overture.typechecker.visitor

M: 4426 C: 20214
82%

M: 506 C: 1624
76%

M: 425 C: 918
68%

M: 702 C: 3358
83%

M: 21 C: 257
92%

M: 0 C: 11
100%

org.overture.util

M: 723 C: 25
3%

M: 72 C: 2
3%

M: 47 C: 2
4%

M: 141 C: 7
5%

M: 9 C: 2
18%

M: 2 C: 1
33%

org.overturetool.cgisa

M: 148 C: 584
80%

M: 14 C: 34
71%

M: 14 C: 44
76%

M: 22 C: 136
86%

M: 3 C: 31
91%

M: 0 C: 3
100%

org.overturetool.cgisa.transformations

M: 155 C: 429
73%

M: 22 C: 32
59%

M: 16 C: 31
66%

M: 37 C: 103
74%

M: 2 C: 18
90%

M: 0 C: 5
100%

org.overturetool.cgisa.utils

M: 12 C: 29
71%

M: 0 C: 0
100%

M: 4 C: 8
67%

M: 4 C: 8
67%

M: 4 C: 8
67%

M: 0 C: 3
100%