JaCoCo Coverage Report

Download jacoco.exec binary coverage file

Overall Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
all classes
37%
M: 475922 C: 281824
28%
M: 56363 C: 21587
29%
M: 55597 C: 22670
38%
M: 105218 C: 63959
40%
M: 23624 C: 15433
57%
M: 1103 C: 1458

Coverage Breakdown by Package

nameinstructionbranchcomplexitylinemethodclass
(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: 79415 C: 33188
29%
M: 11689 C: 3031
21%
M: 10754 C: 2575
19%
M: 15506 C: 7376
32%
M: 3961 C: 2008
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: 53 C: 108
67%
M: 12 C: 14
54%
M: 11 C: 12
52%
M: 10 C: 29
74%
M: 3 C: 7
70%
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: 6796 C: 5214
43%
M: 918 C: 422
31%
M: 732 C: 616
46%
M: 1536 C: 1316
46%
M: 169 C: 509
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: 12319 C: 10205
45%
M: 1670 C: 576
26%
M: 1655 C: 1312
44%
M: 3186 C: 2662
46%
M: 625 C: 1219
66%
M: 1 C: 119
99%
org.overture.ast.factory
M: 247 C: 5359
96%
M: 14 C: 60
81%
M: 30 C: 339
92%
M: 68 C: 1520
96%
M: 16 C: 316
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: 2131 C: 6786
76%
M: 268 C: 112
29%
M: 229 C: 191
45%
M: 462 C: 479
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: 3399 C: 2639
44%
M: 458 C: 158
26%
M: 488 C: 364
43%
M: 836 C: 760
48%
M: 205 C: 339
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: 7036 C: 4879
41%
M: 893 C: 369
29%
M: 942 C: 625
40%
M: 1739 C: 1420
45%
M: 365 C: 571
61%
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: 86 C: 251
74%
M: 17 C: 21
55%
M: 14 C: 18
56%
M: 21 C: 54
72%
M: 3 C: 10
77%
M: 0 C: 2
100%
org.overture.ast.util.pattern
M: 33 C: 192
85%
M: 2 C: 8
80%
M: 4 C: 13
76%
M: 7 C: 36
84%
M: 3 C: 9
75%
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: 222 C: 178
45%
M: 17 C: 15
47%
M: 37 C: 24
39%
M: 37 C: 39
51%
M: 27 C: 18
40%
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: 467 C: 129
22%
M: 413 C: 81
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.combinatorialtesting.vdmj.server
M: 647 C: 0
0%
M: 66 C: 0
0%
M: 51 C: 0
0%
M: 149 C: 0
0%
M: 18 C: 0
0%
M: 2 C: 0
0%
org.overture.combinatorialtesting.vdmj.server.common
M: 79 C: 0
0%
M: 2 C: 0
0%
M: 10 C: 0
0%
M: 24 C: 0
0%
M: 9 C: 0
0%
M: 2 C: 0
0%
org.overture.combinatorialtesting.vdmj.server.xml
M: 1157 C: 0
0%
M: 91 C: 0
0%
M: 82 C: 0
0%
M: 245 C: 0
0%
M: 32 C: 0
0%
M: 7 C: 0
0%
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: 374 C: 696
65%
M: 39 C: 43
52%
M: 44 C: 44
50%
M: 87 C: 157
64%
M: 13 C: 31
70%
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.ide.builders.vdmj
M: 408 C: 0
0%
M: 26 C: 0
0%
M: 35 C: 0
0%
M: 117 C: 0
0%
M: 22 C: 0
0%
M: 6 C: 0
0%
org.overture.ide.core
M: 164 C: 0
0%
M: 0 C: 0
100%
M: 20 C: 0
0%
M: 45 C: 0
0%
M: 20 C: 0
0%
M: 5 C: 0
0%
org.overture.ide.core.ast
M: 563 C: 0
0%
M: 68 C: 0
0%
M: 69 C: 0
0%
M: 139 C: 0
0%
M: 35 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.core.builder
M: 513 C: 0
0%
M: 54 C: 0
0%
M: 54 C: 0
0%
M: 129 C: 0
0%
M: 27 C: 0
0%
M: 6 C: 0
0%
org.overture.ide.core.parser
M: 550 C: 0
0%
M: 86 C: 0
0%
M: 70 C: 0
0%
M: 154 C: 0
0%
M: 27 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.core.propertytester
M: 168 C: 0
0%
M: 40 C: 0
0%
M: 24 C: 0
0%
M: 46 C: 0
0%
M: 4 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.core.resources
M: 1211 C: 0
0%
M: 140 C: 0
0%
M: 130 C: 0
0%
M: 302 C: 0
0%
M: 60 C: 0
0%
M: 9 C: 0
0%
org.overture.ide.core.utility
M: 1178 C: 0
0%
M: 140 C: 0
0%
M: 107 C: 0
0%
M: 274 C: 0
0%
M: 36 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.debug.core
M: 509 C: 0
0%
M: 42 C: 0
0%
M: 75 C: 0
0%
M: 152 C: 0
0%
M: 54 C: 0
0%
M: 14 C: 0
0%
org.overture.ide.debug.core.dbgp
M: 570 C: 0
0%
M: 42 C: 0
0%
M: 65 C: 0
0%
M: 144 C: 0
0%
M: 44 C: 0
0%
M: 8 C: 0
0%
org.overture.ide.debug.core.dbgp.breakpoints
M: 116 C: 0
0%
M: 10 C: 0
0%
M: 24 C: 0
0%
M: 41 C: 0
0%
M: 19 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.debug.core.dbgp.commands
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.ide.debug.core.dbgp.exceptions
M: 127 C: 0
0%
M: 0 C: 0
100%
M: 21 C: 0
0%
M: 48 C: 0
0%
M: 21 C: 0
0%
M: 6 C: 0
0%
org.overture.ide.debug.core.dbgp.internal
M: 1720 C: 0
0%
M: 150 C: 0
0%
M: 206 C: 0
0%
M: 421 C: 0
0%
M: 131 C: 0
0%
M: 17 C: 0
0%
org.overture.ide.debug.core.dbgp.internal.breakpoints
M: 154 C: 0
0%
M: 8 C: 0
0%
M: 24 C: 0
0%
M: 47 C: 0
0%
M: 20 C: 0
0%
M: 7 C: 0
0%
org.overture.ide.debug.core.dbgp.internal.commands
M: 2120 C: 0
0%
M: 100 C: 0
0%
M: 213 C: 0
0%
M: 503 C: 0
0%
M: 163 C: 0
0%
M: 19 C: 0
0%
org.overture.ide.debug.core.dbgp.internal.managers
M: 169 C: 0
0%
M: 26 C: 0
0%
M: 24 C: 0
0%
M: 49 C: 0
0%
M: 11 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.debug.core.dbgp.internal.packets
M: 453 C: 0
0%
M: 52 C: 0
0%
M: 55 C: 0
0%
M: 127 C: 0
0%
M: 29 C: 0
0%
M: 8 C: 0
0%
org.overture.ide.debug.core.dbgp.internal.utils
M: 1896 C: 0
0%
M: 192 C: 0
0%
M: 139 C: 0
0%
M: 384 C: 0
0%
M: 41 C: 0
0%
M: 6 C: 0
0%
org.overture.ide.debug.core.launching
M: 1458 C: 0
0%
M: 140 C: 0
0%
M: 116 C: 0
0%
M: 352 C: 0
0%
M: 46 C: 0
0%
M: 6 C: 0
0%
org.overture.ide.debug.core.launching.debug
M: 24 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 9 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.debug.core.model
M: 834 C: 0
0%
M: 97 C: 0
0%
M: 117 C: 0
0%
M: 205 C: 0
0%
M: 64 C: 0
0%
M: 12 C: 0
0%
org.overture.ide.debug.core.model.eval
M: 142 C: 0
0%
M: 21 C: 0
0%
M: 24 C: 0
0%
M: 40 C: 0
0%
M: 13 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.debug.core.model.internal
M: 8231 C: 0
0%
M: 894 C: 0
0%
M: 1032 C: 0
0%
M: 2060 C: 0
0%
M: 585 C: 0
0%
M: 45 C: 0
0%
org.overture.ide.debug.core.model.internal.eval
M: 331 C: 0
0%
M: 10 C: 0
0%
M: 43 C: 0
0%
M: 95 C: 0
0%
M: 38 C: 0
0%
M: 6 C: 0
0%
org.overture.ide.debug.core.model.internal.operations
M: 786 C: 0
0%
M: 16 C: 0
0%
M: 91 C: 0
0%
M: 200 C: 0
0%
M: 83 C: 0
0%
M: 15 C: 0
0%
org.overture.ide.debug.internal.ui.viewers.update
M: 498 C: 0
0%
M: 65 C: 0
0%
M: 50 C: 0
0%
M: 140 C: 0
0%
M: 17 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.debug.logging
M: 963 C: 0
0%
M: 76 C: 0
0%
M: 88 C: 0
0%
M: 245 C: 0
0%
M: 49 C: 0
0%
M: 14 C: 0
0%
org.overture.ide.debug.preferences
M: 62 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 18 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.debug.ui
M: 2069 C: 0
0%
M: 262 C: 0
0%
M: 224 C: 0
0%
M: 561 C: 0
0%
M: 93 C: 0
0%
M: 16 C: 0
0%
org.overture.ide.debug.ui.actions
M: 823 C: 0
0%
M: 112 C: 0
0%
M: 120 C: 0
0%
M: 266 C: 0
0%
M: 64 C: 0
0%
M: 8 C: 0
0%
org.overture.ide.debug.ui.launchconfigurations
M: 1250 C: 0
0%
M: 234 C: 0
0%
M: 175 C: 0
0%
M: 314 C: 0
0%
M: 58 C: 0
0%
M: 10 C: 0
0%
org.overture.ide.debug.ui.launching
M: 2718 C: 0
0%
M: 182 C: 0
0%
M: 177 C: 0
0%
M: 637 C: 0
0%
M: 86 C: 0
0%
M: 18 C: 0
0%
org.overture.ide.debug.ui.log
M: 1217 C: 0
0%
M: 108 C: 0
0%
M: 126 C: 0
0%
M: 285 C: 0
0%
M: 68 C: 0
0%
M: 17 C: 0
0%
org.overture.ide.debug.ui.model
M: 426 C: 0
0%
M: 62 C: 0
0%
M: 54 C: 0
0%
M: 117 C: 0
0%
M: 23 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.debug.ui.propertypages
M: 1047 C: 0
0%
M: 60 C: 0
0%
M: 94 C: 0
0%
M: 274 C: 0
0%
M: 64 C: 0
0%
M: 11 C: 0
0%
org.overture.ide.debug.utils
M: 4279 C: 0
0%
M: 801 C: 0
0%
M: 510 C: 0
0%
M: 1039 C: 0
0%
M: 109 C: 0
0%
M: 14 C: 0
0%
org.overture.ide.debug.utils.communication
M: 510 C: 0
0%
M: 14 C: 0
0%
M: 21 C: 0
0%
M: 91 C: 0
0%
M: 14 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.debug.utils.ui
M: 462 C: 0
0%
M: 34 C: 0
0%
M: 31 C: 0
0%
M: 107 C: 0
0%
M: 13 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.debug.utils.xml
M: 1157 C: 0
0%
M: 91 C: 0
0%
M: 82 C: 0
0%
M: 245 C: 0
0%
M: 32 C: 0
0%
M: 7 C: 0
0%
org.overture.ide.help
M: 66 C: 0
0%
M: 2 C: 0
0%
M: 11 C: 0
0%
M: 22 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.help.handlers
M: 21 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 7 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.help.wizard
M: 342 C: 0
0%
M: 22 C: 0
0%
M: 29 C: 0
0%
M: 76 C: 0
0%
M: 18 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.internal.core
M: 840 C: 0
0%
M: 92 C: 0
0%
M: 86 C: 0
0%
M: 207 C: 0
0%
M: 38 C: 0
0%
M: 8 C: 0
0%
org.overture.ide.internal.core.ast
M: 123 C: 0
0%
M: 12 C: 0
0%
M: 14 C: 0
0%
M: 34 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.internal.core.resources
M: 1110 C: 0
0%
M: 136 C: 0
0%
M: 124 C: 0
0%
M: 259 C: 0
0%
M: 56 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.parsers.vdmj
M: 324 C: 0
0%
M: 34 C: 0
0%
M: 30 C: 0
0%
M: 96 C: 0
0%
M: 13 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.platform
M: 34 C: 0
0%
M: 0 C: 0
100%
M: 7 C: 0
0%
M: 16 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.platform.splash
M: 110 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 17 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.combinatorialtesting
M: 828 C: 0
0%
M: 102 C: 0
0%
M: 105 C: 0
0%
M: 209 C: 0
0%
M: 53 C: 0
0%
M: 5 C: 0
0%
org.overture.ide.plugins.combinatorialtesting.debug
M: 155 C: 0
0%
M: 6 C: 0
0%
M: 9 C: 0
0%
M: 35 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.combinatorialtesting.internal
M: 1414 C: 0
0%
M: 78 C: 0
0%
M: 77 C: 0
0%
M: 295 C: 0
0%
M: 38 C: 0
0%
M: 6 C: 0
0%
org.overture.ide.plugins.combinatorialtesting.perspectives
M: 107 C: 0
0%
M: 0 C: 0
100%
M: 7 C: 0
0%
M: 35 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.combinatorialtesting.preferences
M: 156 C: 0
0%
M: 6 C: 0
0%
M: 9 C: 0
0%
M: 32 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.combinatorialtesting.store
M: 161 C: 0
0%
M: 12 C: 0
0%
M: 14 C: 0
0%
M: 32 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.combinatorialtesting.views
M: 3263 C: 0
0%
M: 304 C: 0
0%
M: 299 C: 0
0%
M: 754 C: 0
0%
M: 146 C: 0
0%
M: 41 C: 0
0%
org.overture.ide.plugins.combinatorialtesting.views.internal
M: 80 C: 0
0%
M: 20 C: 0
0%
M: 18 C: 0
0%
M: 24 C: 0
0%
M: 8 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.plugins.combinatorialtesting.views.treeView
M: 1131 C: 0
0%
M: 98 C: 0
0%
M: 144 C: 0
0%
M: 266 C: 0
0%
M: 95 C: 0
0%
M: 9 C: 0
0%
org.overture.ide.plugins.coverageeditor
M: 20 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 10 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.coverageeditor.editor
M: 980 C: 0
0%
M: 101 C: 0
0%
M: 110 C: 0
0%
M: 240 C: 0
0%
M: 59 C: 0
0%
M: 12 C: 0
0%
org.overture.ide.plugins.csk
M: 17 C: 0
0%
M: 0 C: 0
100%
M: 4 C: 0
0%
M: 9 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.csk.handlers
M: 112 C: 0
0%
M: 4 C: 0
0%
M: 6 C: 0
0%
M: 21 C: 0
0%
M: 4 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.csk.internal
M: 750 C: 0
0%
M: 39 C: 0
0%
M: 38 C: 0
0%
M: 175 C: 0
0%
M: 16 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.plugins.developerutils
M: 17 C: 0
0%
M: 0 C: 0
100%
M: 4 C: 0
0%
M: 9 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.developerutils.dot
M: 170 C: 0
0%
M: 18 C: 0
0%
M: 13 C: 0
0%
M: 39 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.developerutils.preferences
M: 27 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 9 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.externaleditor
M: 84 C: 0
0%
M: 6 C: 0
0%
M: 13 C: 0
0%
M: 29 C: 0
0%
M: 9 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.javagen
M: 284 C: 0
0%
M: 18 C: 0
0%
M: 26 C: 0
0%
M: 76 C: 0
0%
M: 17 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.javagen.commands
M: 1257 C: 0
0%
M: 86 C: 0
0%
M: 72 C: 0
0%
M: 295 C: 0
0%
M: 29 C: 0
0%
M: 5 C: 0
0%
org.overture.ide.plugins.javagen.preferences
M: 424 C: 0
0%
M: 36 C: 0
0%
M: 27 C: 0
0%
M: 107 C: 0
0%
M: 9 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.javagen.util
M: 607 C: 0
0%
M: 56 C: 0
0%
M: 52 C: 0
0%
M: 137 C: 0
0%
M: 24 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.latex
M: 60 C: 0
0%
M: 8 C: 0
0%
M: 12 C: 0
0%
M: 18 C: 0
0%
M: 8 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.latex.commands
M: 86 C: 0
0%
M: 12 C: 0
0%
M: 8 C: 0
0%
M: 23 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.latex.preference
M: 98 C: 0
0%
M: 2 C: 0
0%
M: 8 C: 0
0%
M: 22 C: 0
0%
M: 7 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.latex.properties
M: 532 C: 0
0%
M: 36 C: 0
0%
M: 26 C: 0
0%
M: 119 C: 0
0%
M: 8 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.latex.utility
M: 3268 C: 0
0%
M: 274 C: 0
0%
M: 208 C: 0
0%
M: 686 C: 0
0%
M: 70 C: 0
0%
M: 11 C: 0
0%
org.overture.ide.plugins.poviewer
M: 568 C: 0
0%
M: 58 C: 0
0%
M: 56 C: 0
0%
M: 143 C: 0
0%
M: 27 C: 0
0%
M: 5 C: 0
0%
org.overture.ide.plugins.poviewer.commands
M: 61 C: 0
0%
M: 8 C: 0
0%
M: 6 C: 0
0%
M: 17 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.poviewer.view
M: 756 C: 0
0%
M: 50 C: 0
0%
M: 67 C: 0
0%
M: 181 C: 0
0%
M: 41 C: 0
0%
M: 13 C: 0
0%
org.overture.ide.plugins.quickinterpreter
M: 17 C: 0
0%
M: 0 C: 0
100%
M: 4 C: 0
0%
M: 9 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.quickinterpreter.view
M: 459 C: 0
0%
M: 26 C: 0
0%
M: 23 C: 0
0%
M: 103 C: 0
0%
M: 10 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.rttraceviewer
M: 43 C: 0
0%
M: 0 C: 0
100%
M: 7 C: 0
0%
M: 14 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.rttraceviewer.data
M: 1008 C: 0
0%
M: 52 C: 0
0%
M: 104 C: 0
0%
M: 225 C: 0
0%
M: 78 C: 0
0%
M: 13 C: 0
0%
org.overture.ide.plugins.rttraceviewer.draw
M: 3481 C: 0
0%
M: 77 C: 0
0%
M: 133 C: 0
0%
M: 678 C: 0
0%
M: 93 C: 0
0%
M: 13 C: 0
0%
org.overture.ide.plugins.rttraceviewer.event
M: 949 C: 0
0%
M: 85 C: 0
0%
M: 67 C: 0
0%
M: 183 C: 0
0%
M: 19 C: 0
0%
M: 10 C: 0
0%
org.overture.ide.plugins.rttraceviewer.view
M: 2911 C: 0
0%
M: 207 C: 0
0%
M: 208 C: 0
0%
M: 688 C: 0
0%
M: 104 C: 0
0%
M: 21 C: 0
0%
org.overture.ide.plugins.uml2
M: 169 C: 0
0%
M: 14 C: 0
0%
M: 17 C: 0
0%
M: 47 C: 0
0%
M: 10 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.uml2.commands
M: 306 C: 0
0%
M: 30 C: 0
0%
M: 23 C: 0
0%
M: 68 C: 0
0%
M: 8 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.plugins.uml2.preferences
M: 51 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.ide.plugins.uml2.uml2vdm
M: 1798 C: 0
0%
M: 182 C: 0
0%
M: 114 C: 0
0%
M: 357 C: 0
0%
M: 23 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.plugins.uml2.vdm2uml
M: 4333 C: 0
0%
M: 562 C: 0
0%
M: 368 C: 0
0%
M: 896 C: 0
0%
M: 87 C: 0
0%
M: 13 C: 0
0%
org.overture.ide.ui
M: 693 C: 0
0%
M: 62 C: 0
0%
M: 79 C: 0
0%
M: 201 C: 0
0%
M: 48 C: 0
0%
M: 7 C: 0
0%
org.overture.ide.ui.actions
M: 514 C: 0
0%
M: 84 C: 0
0%
M: 54 C: 0
0%
M: 115 C: 0
0%
M: 12 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.ui.adapters
M: 313 C: 0
0%
M: 48 C: 0
0%
M: 40 C: 0
0%
M: 77 C: 0
0%
M: 16 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.ui.commands
M: 505 C: 0
0%
M: 80 C: 0
0%
M: 50 C: 0
0%
M: 113 C: 0
0%
M: 10 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.ui.completion
M: 124 C: 0
0%
M: 28 C: 0
0%
M: 17 C: 0
0%
M: 23 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.ui.editor.autoedit
M: 125 C: 0
0%
M: 16 C: 0
0%
M: 13 C: 0
0%
M: 31 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.ui.editor.core
M: 1592 C: 0
0%
M: 188 C: 0
0%
M: 189 C: 0
0%
M: 443 C: 0
0%
M: 95 C: 0
0%
M: 14 C: 0
0%
org.overture.ide.ui.editor.partitioning
M: 342 C: 0
0%
M: 40 C: 0
0%
M: 38 C: 0
0%
M: 83 C: 0
0%
M: 18 C: 0
0%
M: 5 C: 0
0%
org.overture.ide.ui.editor.syntax
M: 1149 C: 0
0%
M: 132 C: 0
0%
M: 100 C: 0
0%
M: 262 C: 0
0%
M: 34 C: 0
0%
M: 13 C: 0
0%
org.overture.ide.ui.handlers
M: 379 C: 0
0%
M: 42 C: 0
0%
M: 31 C: 0
0%
M: 94 C: 0
0%
M: 10 C: 0
0%
M: 5 C: 0
0%
org.overture.ide.ui.internal.util
M: 376 C: 0
0%
M: 24 C: 0
0%
M: 40 C: 0
0%
M: 97 C: 0
0%
M: 28 C: 0
0%
M: 6 C: 0
0%
org.overture.ide.ui.internal.viewsupport
M: 3719 C: 0
0%
M: 502 C: 0
0%
M: 404 C: 0
0%
M: 984 C: 0
0%
M: 153 C: 0
0%
M: 16 C: 0
0%
org.overture.ide.ui.navigator
M: 1482 C: 0
0%
M: 228 C: 0
0%
M: 173 C: 0
0%
M: 453 C: 0
0%
M: 59 C: 0
0%
M: 16 C: 0
0%
org.overture.ide.ui.outline
M: 1972 C: 0
0%
M: 296 C: 0
0%
M: 225 C: 0
0%
M: 502 C: 0
0%
M: 77 C: 0
0%
M: 15 C: 0
0%
org.overture.ide.ui.perspective
M: 34 C: 0
0%
M: 2 C: 0
0%
M: 3 C: 0
0%
M: 10 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.ui.popup.actions
M: 16 C: 0
0%
M: 0 C: 0
100%
M: 4 C: 0
0%
M: 10 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.ui.preferences
M: 77 C: 0
0%
M: 0 C: 0
100%
M: 13 C: 0
0%
M: 32 C: 0
0%
M: 13 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.ui.property
M: 705 C: 0
0%
M: 62 C: 0
0%
M: 55 C: 0
0%
M: 174 C: 0
0%
M: 24 C: 0
0%
M: 5 C: 0
0%
org.overture.ide.ui.quickfix
M: 356 C: 0
0%
M: 52 C: 0
0%
M: 47 C: 0
0%
M: 74 C: 0
0%
M: 21 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.ui.templates
M: 3440 C: 0
0%
M: 269 C: 0
0%
M: 245 C: 0
0%
M: 617 C: 0
0%
M: 108 C: 0
0%
M: 23 C: 0
0%
org.overture.ide.ui.utility
M: 308 C: 0
0%
M: 18 C: 0
0%
M: 25 C: 0
0%
M: 87 C: 0
0%
M: 16 C: 0
0%
M: 5 C: 0
0%
org.overture.ide.ui.utility.ast
M: 955 C: 0
0%
M: 114 C: 0
0%
M: 115 C: 0
0%
M: 247 C: 0
0%
M: 58 C: 0
0%
M: 7 C: 0
0%
org.overture.ide.ui.wizard
M: 410 C: 0
0%
M: 44 C: 0
0%
M: 39 C: 0
0%
M: 114 C: 0
0%
M: 17 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.ui.wizard.pages
M: 842 C: 0
0%
M: 52 C: 0
0%
M: 59 C: 0
0%
M: 220 C: 0
0%
M: 32 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.vdmpp.core
M: 48 C: 0
0%
M: 2 C: 0
0%
M: 9 C: 0
0%
M: 19 C: 0
0%
M: 8 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmpp.debug
M: 100 C: 0
0%
M: 8 C: 0
0%
M: 14 C: 0
0%
M: 35 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmpp.debug.ui.launchconfigurations
M: 153 C: 0
0%
M: 2 C: 0
0%
M: 8 C: 0
0%
M: 31 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmpp.debug.ui.launching
M: 120 C: 0
0%
M: 10 C: 0
0%
M: 12 C: 0
0%
M: 31 C: 0
0%
M: 7 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.vdmpp.debug.utils
M: 105 C: 0
0%
M: 6 C: 0
0%
M: 7 C: 0
0%
M: 22 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmpp.ui
M: 53 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 16 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmpp.ui.editor.contentAssist
M: 15 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 5 C: 0
0%
M: 5 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.vdmpp.ui.editor.core
M: 30 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 9 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmpp.ui.editor.syntax
M: 1044 C: 0
0%
M: 0 C: 0
100%
M: 16 C: 0
0%
M: 79 C: 0
0%
M: 16 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmpp.ui.wizard
M: 61 C: 0
0%
M: 0 C: 0
100%
M: 16 C: 0
0%
M: 21 C: 0
0%
M: 16 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.vdmrt.core
M: 48 C: 0
0%
M: 2 C: 0
0%
M: 9 C: 0
0%
M: 19 C: 0
0%
M: 8 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmrt.debug
M: 100 C: 0
0%
M: 8 C: 0
0%
M: 14 C: 0
0%
M: 35 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmrt.debug.launching
M: 139 C: 0
0%
M: 8 C: 0
0%
M: 6 C: 0
0%
M: 29 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmrt.debug.ui.launchconfigurations
M: 10 C: 0
0%
M: 0 C: 0
100%
M: 3 C: 0
0%
M: 3 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmrt.debug.ui.launching
M: 205 C: 0
0%
M: 10 C: 0
0%
M: 17 C: 0
0%
M: 55 C: 0
0%
M: 12 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.vdmrt.ui
M: 53 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 16 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmrt.ui.editor.contentAssist
M: 15 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 5 C: 0
0%
M: 5 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.vdmrt.ui.editor.core
M: 30 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 9 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmrt.ui.editor.syntax
M: 1060 C: 0
0%
M: 0 C: 0
100%
M: 16 C: 0
0%
M: 82 C: 0
0%
M: 16 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmrt.ui.handlers
M: 215 C: 0
0%
M: 18 C: 0
0%
M: 14 C: 0
0%
M: 43 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmrt.ui.wizard
M: 110 C: 0
0%
M: 0 C: 0
100%
M: 21 C: 0
0%
M: 41 C: 0
0%
M: 21 C: 0
0%
M: 4 C: 0
0%
org.overture.ide.vdmsl.core
M: 48 C: 0
0%
M: 4 C: 0
0%
M: 11 C: 0
0%
M: 20 C: 0
0%
M: 9 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmsl.debug
M: 100 C: 0
0%
M: 8 C: 0
0%
M: 14 C: 0
0%
M: 35 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmsl.debug.ui.launchconfigurations
M: 120 C: 0
0%
M: 0 C: 0
100%
M: 7 C: 0
0%
M: 24 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmsl.debug.ui.launching
M: 105 C: 0
0%
M: 8 C: 0
0%
M: 11 C: 0
0%
M: 29 C: 0
0%
M: 7 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmsl.debug.utils
M: 119 C: 0
0%
M: 14 C: 0
0%
M: 10 C: 0
0%
M: 27 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmsl.ui
M: 53 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 16 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.vdmsl.ui.editor.contentAssist
M: 15 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 5 C: 0
0%
M: 5 C: 0
0%
M: 3 C: 0
0%
org.overture.ide.vdmsl.ui.editor.core
M: 30 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 9 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmsl.ui.editor.syntax
M: 904 C: 0
0%
M: 0 C: 0
100%
M: 17 C: 0
0%
M: 64 C: 0
0%
M: 17 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.vdmsl.ui.wizards
M: 65 C: 0
0%
M: 0 C: 0
100%
M: 16 C: 0
0%
M: 26 C: 0
0%
M: 16 C: 0
0%
M: 3 C: 0
0%
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: 492 C: 1732
78%
M: 49 C: 169
78%
M: 49 C: 115
70%
M: 106 C: 352
77%
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: 213 C: 238
53%
M: 33 C: 31
48%
M: 28 C: 18
39%
M: 55 C: 61
53%
M: 8 C: 6
43%
M: 0 C: 2
100%
org.overture.interpreter.assistant.pattern
M: 28 C: 259
90%
M: 0 C: 10
100%
M: 1 C: 20
95%
M: 11 C: 47
81%
M: 1 C: 15
94%
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: 6 C: 69
92%
M: 0 C: 2
100%
M: 0 C: 8
100%
M: 2 C: 16
89%
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: 12964 C: 104
1%
M: 1218 C: 7
1%
M: 876 C: 9
1%
M: 2663 C: 17
1%
M: 232 C: 6
3%
M: 23 C: 2
8%
org.overture.interpreter.eval
M: 3138 C: 7629
71%
M: 274 C: 594
68%
M: 213 C: 407
66%
M: 601 C: 1488
71%
M: 16 C: 168
91%
M: 0 C: 8
100%
org.overture.interpreter.messages
M: 331 C: 122
27%
M: 20 C: 2
9%
M: 33 C: 13
28%
M: 84 C: 41
33%
M: 20 C: 13
39%
M: 3 C: 5
63%
org.overture.interpreter.messages.rtlog
M: 1008 C: 279
22%
M: 72 C: 4
5%
M: 81 C: 27
25%
M: 186 C: 82
31%
M: 43 C: 26
38%
M: 2 C: 19
90%
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: 4314 C: 1741
29%
M: 392 C: 114
23%
M: 343 C: 146
30%
M: 843 C: 447
35%
M: 127 C: 106
45%
M: 7 C: 20
74%
org.overture.interpreter.runtime.state
M: 36 C: 115
76%
M: 5 C: 1
17%
M: 7 C: 10
59%
M: 11 C: 29
73%
M: 4 C: 10
71%
M: 1 C: 5
83%
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: 1557 C: 3139
67%
M: 158 C: 249
61%
M: 192 C: 272
59%
M: 383 C: 783
67%
M: 76 C: 181
70%
M: 1 C: 28
97%
org.overture.interpreter.solver
M: 33 C: 3
8%
M: 2 C: 0
0%
M: 2 C: 1
33%
M: 5 C: 2
29%
M: 1 C: 1
50%
M: 0 C: 1
100%
org.overture.interpreter.traces
M: 510 C: 2466
83%
M: 68 C: 197
74%
M: 83 C: 158
66%
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: 470 C: 988
68%
M: 59 C: 86
59%
M: 50 C: 55
52%
M: 100 C: 248
71%
M: 6 C: 25
81%
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: 966 C: 881
48%
M: 132 C: 74
36%
M: 126 C: 65
34%
M: 194 C: 154
44%
M: 53 C: 35
40%
M: 3 C: 5
63%
org.overture.interpreter.utilities.expression
M: 1763 C: 255
13%
M: 174 C: 14
7%
M: 176 C: 18
9%
M: 367 C: 48
12%
M: 86 C: 14
14%
M: 2 C: 1
33%
org.overture.interpreter.utilities.pattern
M: 1497 C: 2097
58%
M: 175 C: 199
53%
M: 150 C: 135
47%
M: 311 C: 455
59%
M: 46 C: 52
53%
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: 375 C: 413
52%
M: 23 C: 23
50%
M: 32 C: 25
44%
M: 70 C: 90
56%
M: 19 C: 15
44%
M: 0 C: 2
100%
org.overture.interpreter.values
M: 4206 C: 7981
65%
M: 385 C: 753
66%
M: 440 C: 700
61%
M: 782 C: 1794
70%
M: 183 C: 385
68%
M: 1 C: 47
98%
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: 979 C: 2023
67%
M: 105 C: 239
69%
M: 92 C: 168
65%
M: 195 C: 499
72%
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: 2231 C: 10878
83%
M: 337 C: 986
75%
M: 292 C: 712
71%
M: 492 C: 2795
85%
M: 19 C: 233
92%
M: 0 C: 10
100%
org.overture.parser.util
M: 118 C: 242
67%
M: 5 C: 11
69%
M: 13 C: 19
59%
M: 24 C: 59
71%
M: 9 C: 15
63%
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: 873 C: 744
46%
M: 93 C: 67
42%
M: 95 C: 39
29%
M: 187 C: 142
43%
M: 31 C: 23
43%
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: 836 C: 4710
85%
M: 158 C: 686
81%
M: 158 C: 441
74%
M: 184 C: 1054
85%
M: 29 C: 148
84%
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: 397 C: 4131
91%
M: 69 C: 431
86%
M: 60 C: 315
84%
M: 107 C: 819
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: 230 C: 933
80%
M: 18 C: 84
82%
M: 16 C: 98
86%
M: 93 C: 172
65%
M: 3 C: 60
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: 1070 C: 8034
88%
M: 184 C: 650
78%
M: 234 C: 678
74%
M: 214 C: 1524
88%
M: 103 C: 392
79%
M: 2 C: 28
93%
org.overture.typechecker.utilities.expression
M: 301 C: 1525
84%
M: 36 C: 124
78%
M: 46 C: 114
71%
M: 54 C: 322
86%
M: 19 C: 61
76%
M: 0 C: 5
100%
org.overture.typechecker.utilities.pattern
M: 704 C: 1244
64%
M: 65 C: 55
46%
M: 74 C: 98
57%
M: 143 C: 244
63%
M: 34 C: 78
70%
M: 0 C: 10
100%
org.overture.typechecker.utilities.type
M: 1502 C: 4915
77%
M: 233 C: 491
68%
M: 277 C: 447
62%
M: 290 C: 1042
78%
M: 114 C: 248
69%
M: 2 C: 38
95%
org.overture.typechecker.visitor
M: 4354 C: 20687
83%
M: 503 C: 1687
77%
M: 422 C: 951
69%
M: 691 C: 3422
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%