JaCoCo Coverage Report

Download jacoco.exec binary coverage file

Overall Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
all classes
55%
M: 139466 C: 172733
44%
M: 16683 C: 13036
44%
M: 15211 C: 11869
54%
M: 31561 C: 37072
54%
M: 5517 C: 6508
78%
M: 231 C: 814

Coverage Breakdown by Package

nameinstructionbranchcomplexitylinemethodclass
(default)
M: 2083 C: 99
5%
M: 158 C: 6
4%
M: 161 C: 8
5%
M: 447 C: 25
5%
M: 81 C: 6
7%
M: 8 C: 2
20%
org.overture.ast.assistant
M: 5 C: 48
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: 65
76%
M: 1 C: 1
50%
M: 2 C: 8
80%
M: 4 C: 20
83%
M: 1 C: 8
89%
M: 0 C: 2
100%
org.overture.ast.assistant.type
M: 124 C: 140
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: 6293 C: 4834
43%
M: 864 C: 378
30%
M: 691 C: 598
46%
M: 1434 C: 1231
46%
M: 169 C: 499
75%
M: 0 C: 34
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.factory
M: 207 C: 5305
96%
M: 14 C: 62
82%
M: 27 C: 336
93%
M: 55 C: 1503
96%
M: 13 C: 312
96%
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: 1951 C: 6580
77%
M: 257 C: 107
29%
M: 213 C: 177
45%
M: 431 C: 447
51%
M: 73 C: 133
65%
M: 1 C: 15
94%
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.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.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.util
M: 427 C: 1102
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: 249
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: 30 C: 166
85%
M: 2 C: 8
80%
M: 4 C: 13
76%
M: 7 C: 35
83%
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: 210 C: 157
43%
M: 12 C: 14
54%
M: 34 C: 23
40%
M: 38 C: 36
49%
M: 27 C: 17
39%
M: 1 C: 2
67%
org.overture.cgisa.isair.analysis
M: 15390 C: 3
0%
M: 2336 C: 0
0%
M: 2229 C: 1
0%
M: 4169 C: 2
0%
M: 1061 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: 134 C: 2606
95%
M: 46 C: 294
86%
M: 52 C: 240
82%
M: 39 C: 636
94%
M: 6 C: 116
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: 867 C: 4149
83%
M: 191 C: 509
73%
M: 167 C: 363
68%
M: 192 C: 994
84%
M: 23 C: 157
87%
M: 2 C: 14
88%
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: 560 C: 0
0%
M: 56 C: 0
0%
M: 39 C: 0
0%
M: 127 C: 0
0%
M: 11 C: 0
0%
M: 3 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: 15
52%
M: 4 C: 5
56%
M: 0 C: 2
100%
org.overture.codegen.runtime
M: 3874 C: 223
5%
M: 459 C: 19
4%
M: 410 C: 18
4%
M: 938 C: 50
5%
M: 175 C: 14
7%
M: 13 C: 5
28%
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: 317 C: 4475
93%
M: 50 C: 278
85%
M: 50 C: 246
83%
M: 61 C: 1055
95%
M: 5 C: 127
96%
M: 0 C: 22
100%
org.overture.codegen.trans.assistants
M: 232 C: 1311
85%
M: 25 C: 85
77%
M: 26 C: 77
75%
M: 47 C: 318
87%
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: 43 C: 1839
98%
M: 18 C: 108
86%
M: 18 C: 77
81%
M: 17 C: 430
96%
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: 444
96%
M: 1 C: 21
95%
M: 2 C: 24
92%
M: 4 C: 104
96%
M: 1 C: 14
93%
M: 0 C: 3
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: 179 C: 2780
94%
M: 20 C: 186
90%
M: 22 C: 161
88%
M: 24 C: 635
96%
M: 4 C: 76
95%
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: 113 C: 1817
94%
M: 35 C: 179
84%
M: 32 C: 122
79%
M: 31 C: 427
93%
M: 0 C: 47
100%
M: 0 C: 4
100%
org.overture.codegen.utils
M: 1134 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: 1876 C: 8264
81%
M: 291 C: 733
72%
M: 242 C: 584
71%
M: 455 C: 1819
80%
M: 40 C: 274
87%
M: 2 C: 28
93%
org.overture.codegen.vdm2jml
M: 388 C: 2294
86%
M: 45 C: 181
80%
M: 46 C: 141
75%
M: 93 C: 514
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: 256 C: 1472
85%
M: 38 C: 86
69%
M: 33 C: 74
69%
M: 53 C: 335
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: 1201 C: 7015
85%
M: 120 C: 368
75%
M: 128 C: 384
75%
M: 257 C: 1592
86%
M: 23 C: 245
91%
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: 25 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: 86
62%
M: 3 C: 3
50%
M: 5 C: 5
50%
M: 12 C: 21
64%
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: 99 C: 130
57%
M: 94 C: 69
42%
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: 1686 C: 529
24%
M: 192 C: 50
21%
M: 125 C: 24
16%
M: 407 C: 128
24%
M: 11 C: 17
61%
M: 2 C: 3
60%
org.overture.interpreter.assistant
M: 45 C: 173
79%
M: 0 C: 0
100%
M: 9 C: 35
80%
M: 9 C: 35
80%
M: 9 C: 35
80%
M: 0 C: 1
100%
org.overture.interpreter.assistant.definition
M: 492 C: 1713
78%
M: 48 C: 166
78%
M: 48 C: 114
70%
M: 106 C: 345
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: 186 C: 215
54%
M: 29 C: 25
46%
M: 24 C: 16
40%
M: 44 C: 55
56%
M: 8 C: 5
38%
M: 0 C: 2
100%
org.overture.interpreter.assistant.pattern
M: 28 C: 243
90%
M: 0 C: 10
100%
M: 1 C: 20
95%
M: 11 C: 46
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: 54
90%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 2 C: 14
88%
M: 0 C: 4
100%
M: 0 C: 2
100%
org.overture.interpreter.ast.expressions
M: 101 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: 4047 C: 3
0%
M: 373 C: 1
0%
M: 285 C: 1
0%
M: 874 C: 2
0%
M: 98 C: 1
1%
M: 3 C: 1
25%
org.overture.interpreter.debug
M: 12890 C: 104
1%
M: 1208 C: 7
1%
M: 871 C: 9
1%
M: 2646 C: 17
1%
M: 232 C: 6
3%
M: 23 C: 2
8%
org.overture.interpreter.eval
M: 3023 C: 7441
71%
M: 238 C: 568
70%
M: 184 C: 403
69%
M: 580 C: 1443
71%
M: 14 C: 168
92%
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: 4113 C: 1676
29%
M: 369 C: 111
23%
M: 324 C: 145
31%
M: 817 C: 434
35%
M: 122 C: 104
46%
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: 1526 C: 3163
67%
M: 148 C: 257
63%
M: 181 C: 282
61%
M: 367 C: 797
68%
M: 74 C: 183
71%
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: 2464
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: 407 C: 881
68%
M: 51 C: 68
57%
M: 42 C: 46
52%
M: 89 C: 211
70%
M: 6 C: 21
78%
M: 0 C: 5
100%
org.overture.interpreter.utilities
M: 771 C: 122
14%
M: 60 C: 4
6%
M: 74 C: 13
15%
M: 135 C: 23
15%
M: 43 C: 12
22%
M: 0 C: 1
100%
org.overture.interpreter.utilities.definition
M: 744 C: 848
53%
M: 91 C: 65
42%
M: 102 C: 64
39%
M: 168 C: 150
47%
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: 1489 C: 2065
58%
M: 177 C: 201
53%
M: 152 C: 135
47%
M: 311 C: 456
59%
M: 46 C: 52
53%
M: 1 C: 8
89%
org.overture.interpreter.utilities.statement
M: 888 C: 0
0%
M: 114 C: 0
0%
M: 105 C: 0
0%
M: 205 C: 0
0%
M: 48 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: 262 C: 329
56%
M: 18 C: 18
50%
M: 20 C: 18
47%
M: 51 C: 70
58%
M: 11 C: 9
45%
M: 0 C: 1
100%
org.overture.interpreter.values
M: 3717 C: 7918
68%
M: 340 C: 750
69%
M: 399 C: 704
64%
M: 671 C: 1786
73%
M: 168 C: 387
70%
M: 2 C: 47
96%
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.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: 851 C: 1899
69%
M: 94 C: 238
72%
M: 84 C: 167
67%
M: 171 C: 478
74%
M: 19 C: 43
69%
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: 1612 C: 10166
86%
M: 229 C: 898
80%
M: 213 C: 675
76%
M: 376 C: 2604
87%
M: 14 C: 218
94%
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: 20074 C: 0
0%
M: 3468 C: 0
0%
M: 2808 C: 0
0%
M: 5120 C: 0
0%
M: 1074 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.contexts
M: 759 C: 2259
75%
M: 62 C: 136
69%
M: 65 C: 155
70%
M: 198 C: 555
74%
M: 28 C: 93
77%
M: 1 C: 18
95%
org.overture.pog.obligation
M: 2176 C: 4999
70%
M: 148 C: 204
58%
M: 139 C: 192
58%
M: 444 C: 1016
70%
M: 44 C: 111
72%
M: 3 C: 32
91%
org.overture.pog.pub
M: 20 C: 540
96%
M: 0 C: 2
100%
M: 3 C: 7
70%
M: 5 C: 38
88%
M: 3 C: 6
67%
M: 0 C: 3
100%
org.overture.pog.utility
M: 54 C: 225
81%
M: 2 C: 10
83%
M: 8 C: 21
72%
M: 17 C: 53
76%
M: 6 C: 17
74%
M: 1 C: 5
83%
org.overture.pog.visitors
M: 2453 C: 5678
70%
M: 223 C: 365
62%
M: 280 C: 340
55%
M: 485 C: 1073
69%
M: 121 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: 768 C: 3507
82%
M: 135 C: 555
80%
M: 140 C: 354
72%
M: 164 C: 822
83%
M: 30 C: 119
80%
M: 0 C: 17
100%
org.overture.typechecker.assistant
M: 10 C: 474
98%
M: 0 C: 6
100%
M: 2 C: 94
98%
M: 2 C: 97
98%
M: 2 C: 91
98%
M: 0 C: 1
100%
org.overture.typechecker.assistant.definition
M: 316 C: 3728
92%
M: 52 C: 372
88%
M: 48 C: 279
85%
M: 89 C: 738
89%
M: 7 C: 107
94%
M: 0 C: 10
100%
org.overture.typechecker.assistant.module
M: 17 C: 483
97%
M: 1 C: 55
98%
M: 1 C: 46
98%
M: 8 C: 100
93%
M: 0 C: 19
100%
M: 0 C: 3
100%
org.overture.typechecker.assistant.pattern
M: 124 C: 318
72%
M: 13 C: 14
52%
M: 13 C: 32
71%
M: 38 C: 72
65%
M: 6 C: 25
81%
M: 0 C: 7
100%
org.overture.typechecker.assistant.type
M: 110 C: 873
89%
M: 5 C: 75
94%
M: 5 C: 94
95%
M: 66 C: 168
72%
M: 0 C: 59
100%
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: 1026 C: 3766
79%
M: 143 C: 383
73%
M: 200 C: 397
66%
M: 203 C: 816
80%
M: 102 C: 232
69%
M: 2 C: 24
92%
org.overture.typechecker.utilities.expression
M: 168 C: 487
74%
M: 25 C: 41
62%
M: 28 C: 36
56%
M: 30 C: 112
79%
M: 11 C: 20
65%
M: 0 C: 4
100%
org.overture.typechecker.utilities.pattern
M: 668 C: 1135
63%
M: 59 C: 55
48%
M: 75 C: 92
55%
M: 146 C: 235
62%
M: 39 C: 71
65%
M: 1 C: 9
90%
org.overture.typechecker.utilities.type
M: 1063 C: 4568
81%
M: 171 C: 477
74%
M: 212 C: 426
67%
M: 218 C: 985
82%
M: 86 C: 228
73%
M: 0 C: 34
100%
org.overture.typechecker.visitor
M: 3759 C: 18619
83%
M: 438 C: 1554
78%
M: 365 C: 893
71%
M: 593 C: 3163
84%
M: 15 C: 247
94%
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: 576
80%
M: 14 C: 34
71%
M: 14 C: 44
76%
M: 22 C: 133
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%