JaCoCo Coverage Report

Download jacoco.exec binary coverage file

Overall Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
all classes
19%
M: 526691 C: 124798
13%
M: 59005 C: 8731
14%
M: 58863 C: 9438
18%
M: 117921 C: 26282
20%
M: 27532 C: 6712
35%
M: 1121 C: 614

Coverage Breakdown by Package

nameinstructionbranchcomplexitylinemethodclass
(default)
M: 2516 C: 0
0%
M: 182 C: 0
0%
M: 179 C: 0
0%
M: 536 C: 0
0%
M: 88 C: 0
0%
M: 10 C: 0
0%
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: 96276 C: 16327
14%
M: 13709 C: 1011
7%
M: 12149 C: 1180
9%
M: 19722 C: 3160
14%
M: 4864 C: 1105
19%
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: 128 C: 141
52%
M: 19 C: 17
47%
M: 17 C: 14
45%
M: 32 C: 41
56%
M: 6 C: 7
54%
M: 0 C: 3
100%
org.overture.ast.definitions
M: 7095 C: 4915
41%
M: 947 C: 393
29%
M: 775 C: 573
43%
M: 1613 C: 1239
43%
M: 199 C: 479
71%
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: 1104 C: 491
31%
M: 128 C: 34
21%
M: 172 C: 65
27%
M: 278 C: 147
35%
M: 92 C: 64
41%
M: 1 C: 10
91%
org.overture.ast.expressions
M: 13543 C: 8981
40%
M: 1726 C: 520
23%
M: 1873 C: 1094
37%
M: 3593 C: 2255
39%
M: 834 C: 1010
55%
M: 9 C: 111
93%
org.overture.ast.factory
M: 651 C: 4951
88%
M: 21 C: 53
72%
M: 60 C: 309
84%
M: 183 C: 1404
88%
M: 41 C: 291
88%
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: 2246 C: 6671
75%
M: 277 C: 103
27%
M: 250 C: 170
40%
M: 501 C: 440
47%
M: 99 C: 129
57%
M: 2 C: 18
90%
org.overture.ast.messages
M: 36 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 8 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
org.overture.ast.modules
M: 2794 C: 825
23%
M: 307 C: 77
20%
M: 371 C: 119
24%
M: 674 C: 271
29%
M: 195 C: 103
35%
M: 0 C: 20
100%
org.overture.ast.node
M: 952 C: 509
35%
M: 131 C: 57
30%
M: 132 C: 54
29%
M: 241 C: 133
36%
M: 58 C: 34
37%
M: 0 C: 8
100%
org.overture.ast.node.tokens
M: 126 C: 80
39%
M: 14 C: 2
13%
M: 20 C: 16
44%
M: 32 C: 26
45%
M: 12 C: 16
57%
M: 0 C: 2
100%
org.overture.ast.patterns
M: 4062 C: 1976
33%
M: 503 C: 113
18%
M: 587 C: 265
31%
M: 1044 C: 552
35%
M: 299 C: 245
45%
M: 9 C: 27
75%
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: 7864 C: 4028
34%
M: 936 C: 326
26%
M: 1065 C: 500
32%
M: 1999 C: 1154
37%
M: 472 C: 462
49%
M: 9 C: 44
83%
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: 3187 C: 3148
50%
M: 391 C: 235
38%
M: 443 C: 493
53%
M: 788 C: 834
51%
M: 203 C: 420
67%
M: 1 C: 40
98%
org.overture.ast.util
M: 478 C: 1053
69%
M: 88 C: 96
52%
M: 66 C: 70
51%
M: 94 C: 205
69%
M: 15 C: 29
66%
M: 0 C: 6
100%
org.overture.ast.util.definitions
M: 74 C: 46
38%
M: 10 C: 2
17%
M: 9 C: 5
36%
M: 18 C: 11
38%
M: 4 C: 4
50%
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: 250 C: 150
38%
M: 17 C: 15
47%
M: 41 C: 20
33%
M: 41 C: 35
46%
M: 31 C: 14
31%
M: 1 C: 2
67%
org.overture.cgisa.isair.analysis
M: 15916 C: 0
0%
M: 2428 C: 0
0%
M: 2306 C: 0
0%
M: 4303 C: 0
0%
M: 1092 C: 0
0%
M: 5 C: 0
0%
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: 2860 C: 0
0%
M: 356 C: 0
0%
M: 304 C: 0
0%
M: 700 C: 0
0%
M: 126 C: 0
0%
M: 13 C: 0
0%
org.overture.codegen.analysis.violations
M: 616 C: 0
0%
M: 66 C: 0
0%
M: 75 C: 0
0%
M: 152 C: 0
0%
M: 42 C: 0
0%
M: 10 C: 0
0%
org.overture.codegen.assistant
M: 5095 C: 0
0%
M: 730 C: 0
0%
M: 548 C: 0
0%
M: 1199 C: 0
0%
M: 183 C: 0
0%
M: 16 C: 0
0%
org.overture.codegen.ir
M: 5333 C: 0
0%
M: 554 C: 0
0%
M: 728 C: 0
0%
M: 1392 C: 0
0%
M: 451 C: 0
0%
M: 45 C: 0
0%
org.overture.codegen.ir.analysis
M: 86691 C: 0
0%
M: 9696 C: 0
0%
M: 10672 C: 0
0%
M: 18416 C: 0
0%
M: 5824 C: 0
0%
M: 9 C: 0
0%
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: 10673 C: 0
0%
M: 1008 C: 0
0%
M: 1221 C: 0
0%
M: 2506 C: 0
0%
M: 717 C: 0
0%
M: 36 C: 0
0%
org.overture.codegen.ir.expressions
M: 24904 C: 0
0%
M: 2230 C: 0
0%
M: 3231 C: 0
0%
M: 6326 C: 0
0%
M: 2116 C: 0
0%
M: 148 C: 0
0%
org.overture.codegen.ir.name
M: 279 C: 0
0%
M: 12 C: 0
0%
M: 40 C: 0
0%
M: 70 C: 0
0%
M: 34 C: 0
0%
M: 2 C: 0
0%
org.overture.codegen.ir.patterns
M: 2610 C: 0
0%
M: 190 C: 0
0%
M: 365 C: 0
0%
M: 662 C: 0
0%
M: 270 C: 0
0%
M: 17 C: 0
0%
org.overture.codegen.ir.statements
M: 11601 C: 0
0%
M: 1140 C: 0
0%
M: 1520 C: 0
0%
M: 2937 C: 0
0%
M: 950 C: 0
0%
M: 55 C: 0
0%
org.overture.codegen.ir.traces
M: 1552 C: 0
0%
M: 144 C: 0
0%
M: 207 C: 0
0%
M: 380 C: 0
0%
M: 135 C: 0
0%
M: 8 C: 0
0%
org.overture.codegen.ir.types
M: 5275 C: 0
0%
M: 400 C: 0
0%
M: 716 C: 0
0%
M: 1326 C: 0
0%
M: 516 C: 0
0%
M: 38 C: 0
0%
org.overture.codegen.ir.utils
M: 418 C: 0
0%
M: 42 C: 0
0%
M: 62 C: 0
0%
M: 106 C: 0
0%
M: 41 C: 0
0%
M: 3 C: 0
0%
org.overture.codegen.merging
M: 533 C: 0
0%
M: 42 C: 0
0%
M: 58 C: 0
0%
M: 125 C: 0
0%
M: 37 C: 0
0%
M: 5 C: 0
0%
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: 59 C: 0
0%
M: 12 C: 0
0%
M: 15 C: 0
0%
M: 28 C: 0
0%
M: 9 C: 0
0%
M: 3 C: 0
0%
org.overture.codegen.runtime
M: 4786 C: 0
0%
M: 596 C: 0
0%
M: 494 C: 0
0%
M: 1157 C: 0
0%
M: 196 C: 0
0%
M: 18 C: 0
0%
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: 2809 C: 0
0%
M: 250 C: 0
0%
M: 261 C: 0
0%
M: 641 C: 0
0%
M: 136 C: 0
0%
M: 29 C: 0
0%
org.overture.codegen.tests.exec.util
M: 2075 C: 0
0%
M: 258 C: 0
0%
M: 195 C: 0
0%
M: 496 C: 0
0%
M: 66 C: 0
0%
M: 9 C: 0
0%
org.overture.codegen.tests.exec.util.testhandlers
M: 776 C: 0
0%
M: 26 C: 0
0%
M: 48 C: 0
0%
M: 153 C: 0
0%
M: 35 C: 0
0%
M: 6 C: 0
0%
org.overture.codegen.tests.output.util
M: 363 C: 0
0%
M: 32 C: 0
0%
M: 35 C: 0
0%
M: 86 C: 0
0%
M: 19 C: 0
0%
M: 4 C: 0
0%
org.overture.codegen.tests.util
M: 122 C: 0
0%
M: 18 C: 0
0%
M: 14 C: 0
0%
M: 22 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%
org.overture.codegen.traces
M: 4162 C: 0
0%
M: 228 C: 0
0%
M: 273 C: 0
0%
M: 857 C: 0
0%
M: 159 C: 0
0%
M: 15 C: 0
0%
org.overture.codegen.trans
M: 6675 C: 0
0%
M: 576 C: 0
0%
M: 470 C: 0
0%
M: 1603 C: 0
0%
M: 182 C: 0
0%
M: 29 C: 0
0%
org.overture.codegen.trans.assistants
M: 1600 C: 0
0%
M: 118 C: 0
0%
M: 107 C: 0
0%
M: 378 C: 0
0%
M: 48 C: 0
0%
M: 2 C: 0
0%
org.overture.codegen.trans.comp
M: 276 C: 0
0%
M: 6 C: 0
0%
M: 19 C: 0
0%
M: 61 C: 0
0%
M: 16 C: 0
0%
M: 5 C: 0
0%
org.overture.codegen.trans.conc
M: 1956 C: 0
0%
M: 136 C: 0
0%
M: 100 C: 0
0%
M: 457 C: 0
0%
M: 32 C: 0
0%
M: 5 C: 0
0%
org.overture.codegen.trans.conv
M: 315 C: 0
0%
M: 18 C: 0
0%
M: 25 C: 0
0%
M: 83 C: 0
0%
M: 16 C: 0
0%
M: 2 C: 0
0%
org.overture.codegen.trans.funcvalues
M: 465 C: 0
0%
M: 22 C: 0
0%
M: 26 C: 0
0%
M: 109 C: 0
0%
M: 15 C: 0
0%
M: 3 C: 0
0%
org.overture.codegen.trans.iota
M: 332 C: 0
0%
M: 6 C: 0
0%
M: 11 C: 0
0%
M: 69 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
org.overture.codegen.trans.iterator
M: 141 C: 0
0%
M: 0 C: 0
100%
M: 9 C: 0
0%
M: 22 C: 0
0%
M: 9 C: 0
0%
M: 2 C: 0
0%
org.overture.codegen.trans.let
M: 221 C: 0
0%
M: 4 C: 0
0%
M: 11 C: 0
0%
M: 42 C: 0
0%
M: 9 C: 0
0%
M: 1 C: 0
0%
org.overture.codegen.trans.letexps
M: 119 C: 0
0%
M: 10 C: 0
0%
M: 9 C: 0
0%
M: 34 C: 0
0%
M: 4 C: 0
0%
M: 2 C: 0
0%
org.overture.codegen.trans.patterns
M: 3196 C: 0
0%
M: 244 C: 0
0%
M: 206 C: 0
0%
M: 719 C: 0
0%
M: 84 C: 0
0%
M: 6 C: 0
0%
org.overture.codegen.trans.quantifier
M: 202 C: 0
0%
M: 12 C: 0
0%
M: 19 C: 0
0%
M: 35 C: 0
0%
M: 13 C: 0
0%
M: 5 C: 0
0%
org.overture.codegen.trans.uniontypes
M: 2160 C: 0
0%
M: 252 C: 0
0%
M: 180 C: 0
0%
M: 510 C: 0
0%
M: 54 C: 0
0%
M: 5 C: 0
0%
org.overture.codegen.utils
M: 1792 C: 0
0%
M: 192 C: 0
0%
M: 182 C: 0
0%
M: 389 C: 0
0%
M: 86 C: 0
0%
M: 8 C: 0
0%
org.overture.codegen.vdm2java
M: 11353 C: 0
0%
M: 1180 C: 0
0%
M: 933 C: 0
0%
M: 2532 C: 0
0%
M: 343 C: 0
0%
M: 32 C: 0
0%
org.overture.codegen.vdm2jml
M: 2686 C: 0
0%
M: 226 C: 0
0%
M: 187 C: 0
0%
M: 608 C: 0
0%
M: 74 C: 0
0%
M: 5 C: 0
0%
org.overture.codegen.vdm2jml.data
M: 319 C: 0
0%
M: 44 C: 0
0%
M: 40 C: 0
0%
M: 80 C: 0
0%
M: 18 C: 0
0%
M: 2 C: 0
0%
org.overture.codegen.vdm2jml.predgen
M: 2607 C: 0
0%
M: 280 C: 0
0%
M: 216 C: 0
0%
M: 577 C: 0
0%
M: 76 C: 0
0%
M: 6 C: 0
0%
org.overture.codegen.vdm2jml.predgen.info
M: 1409 C: 0
0%
M: 116 C: 0
0%
M: 117 C: 0
0%
M: 305 C: 0
0%
M: 59 C: 0
0%
M: 13 C: 0
0%
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: 1728 C: 0
0%
M: 124 C: 0
0%
M: 107 C: 0
0%
M: 388 C: 0
0%
M: 45 C: 0
0%
M: 7 C: 0
0%
org.overture.codegen.vdm2jml.util
M: 359 C: 0
0%
M: 48 C: 0
0%
M: 50 C: 0
0%
M: 86 C: 0
0%
M: 26 C: 0
0%
M: 4 C: 0
0%
org.overture.codegen.visitor
M: 8484 C: 0
0%
M: 498 C: 0
0%
M: 524 C: 0
0%
M: 1908 C: 0
0%
M: 275 C: 0
0%
M: 20 C: 0
0%
org.overture.config
M: 75 C: 65
46%
M: 6 C: 0
0%
M: 7 C: 3
30%
M: 15 C: 19
56%
M: 4 C: 3
43%
M: 0 C: 2
100%
org.overture.core.npp
M: 671 C: 0
0%
M: 8 C: 0
0%
M: 101 C: 0
0%
M: 196 C: 0
0%
M: 97 C: 0
0%
M: 5 C: 0
0%
org.overture.core.testing
M: 557 C: 513
48%
M: 55 C: 27
33%
M: 59 C: 29
33%
M: 128 C: 116
48%
M: 20 C: 24
55%
M: 1 C: 6
86%
org.overture.ct.ctruntime
M: 2245 C: 0
0%
M: 229 C: 0
0%
M: 163 C: 0
0%
M: 578 C: 0
0%
M: 48 C: 0
0%
M: 5 C: 0
0%
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: 915 C: 0
0%
M: 80 C: 0
0%
M: 84 C: 0
0%
M: 188 C: 0
0%
M: 44 C: 0
0%
M: 11 C: 0
0%
org.overture.ct.utils
M: 797 C: 0
0%
M: 24 C: 0
0%
M: 51 C: 0
0%
M: 140 C: 0
0%
M: 39 C: 0
0%
M: 6 C: 0
0%
org.overture.interpreter
M: 2304 C: 0
0%
M: 256 C: 0
0%
M: 157 C: 0
0%
M: 561 C: 0
0%
M: 29 C: 0
0%
M: 5 C: 0
0%
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: 226 C: 0
0%
M: 0 C: 0
100%
M: 45 C: 0
0%
M: 45 C: 0
0%
M: 45 C: 0
0%
M: 1 C: 0
0%
org.overture.interpreter.assistant.definition
M: 2224 C: 0
0%
M: 218 C: 0
0%
M: 164 C: 0
0%
M: 458 C: 0
0%
M: 55 C: 0
0%
M: 7 C: 0
0%
org.overture.interpreter.assistant.expression
M: 289 C: 0
0%
M: 24 C: 0
0%
M: 25 C: 0
0%
M: 72 C: 0
0%
M: 13 C: 0
0%
M: 3 C: 0
0%
org.overture.interpreter.assistant.module
M: 451 C: 0
0%
M: 64 C: 0
0%
M: 46 C: 0
0%
M: 116 C: 0
0%
M: 14 C: 0
0%
M: 2 C: 0
0%
org.overture.interpreter.assistant.pattern
M: 287 C: 0
0%
M: 10 C: 0
0%
M: 21 C: 0
0%
M: 58 C: 0
0%
M: 16 C: 0
0%
M: 4 C: 0
0%
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: 75 C: 0
0%
M: 2 C: 0
0%
M: 8 C: 0
0%
M: 18 C: 0
0%
M: 7 C: 0
0%
M: 2 C: 0
0%
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: 4125 C: 0
0%
M: 390 C: 0
0%
M: 294 C: 0
0%
M: 897 C: 0
0%
M: 99 C: 0
0%
M: 4 C: 0
0%
org.overture.interpreter.debug
M: 13054 C: 0
0%
M: 1223 C: 0
0%
M: 884 C: 0
0%
M: 2676 C: 0
0%
M: 238 C: 0
0%
M: 25 C: 0
0%
org.overture.interpreter.eval
M: 10690 C: 0
0%
M: 864 C: 0
0%
M: 618 C: 0
0%
M: 2070 C: 0
0%
M: 184 C: 0
0%
M: 8 C: 0
0%
org.overture.interpreter.messages
M: 453 C: 0
0%
M: 22 C: 0
0%
M: 46 C: 0
0%
M: 125 C: 0
0%
M: 33 C: 0
0%
M: 8 C: 0
0%
org.overture.interpreter.messages.rtlog
M: 1287 C: 0
0%
M: 76 C: 0
0%
M: 108 C: 0
0%
M: 268 C: 0
0%
M: 69 C: 0
0%
M: 21 C: 0
0%
org.overture.interpreter.messages.rtlog.nextgen
M: 3054 C: 0
0%
M: 137 C: 0
0%
M: 152 C: 0
0%
M: 647 C: 0
0%
M: 78 C: 0
0%
M: 19 C: 0
0%
org.overture.interpreter.runtime
M: 6055 C: 0
0%
M: 506 C: 0
0%
M: 489 C: 0
0%
M: 1290 C: 0
0%
M: 233 C: 0
0%
M: 27 C: 0
0%
org.overture.interpreter.runtime.state
M: 151 C: 0
0%
M: 6 C: 0
0%
M: 17 C: 0
0%
M: 40 C: 0
0%
M: 14 C: 0
0%
M: 6 C: 0
0%
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: 4696 C: 0
0%
M: 407 C: 0
0%
M: 464 C: 0
0%
M: 1166 C: 0
0%
M: 257 C: 0
0%
M: 29 C: 0
0%
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: 2976 C: 0
0%
M: 265 C: 0
0%
M: 241 C: 0
0%
M: 655 C: 0
0%
M: 107 C: 0
0%
M: 22 C: 0
0%
org.overture.interpreter.traces.util
M: 158 C: 0
0%
M: 8 C: 0
0%
M: 17 C: 0
0%
M: 35 C: 0
0%
M: 13 C: 0
0%
M: 4 C: 0
0%
org.overture.interpreter.util
M: 1458 C: 0
0%
M: 145 C: 0
0%
M: 105 C: 0
0%
M: 348 C: 0
0%
M: 31 C: 0
0%
M: 5 C: 0
0%
org.overture.interpreter.utilities
M: 881 C: 0
0%
M: 62 C: 0
0%
M: 86 C: 0
0%
M: 156 C: 0
0%
M: 55 C: 0
0%
M: 1 C: 0
0%
org.overture.interpreter.utilities.definition
M: 1855 C: 0
0%
M: 206 C: 0
0%
M: 191 C: 0
0%
M: 350 C: 0
0%
M: 88 C: 0
0%
M: 8 C: 0
0%
org.overture.interpreter.utilities.expression
M: 2018 C: 0
0%
M: 188 C: 0
0%
M: 194 C: 0
0%
M: 415 C: 0
0%
M: 100 C: 0
0%
M: 3 C: 0
0%
org.overture.interpreter.utilities.pattern
M: 3594 C: 0
0%
M: 374 C: 0
0%
M: 285 C: 0
0%
M: 766 C: 0
0%
M: 98 C: 0
0%
M: 9 C: 0
0%
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: 126 C: 0
0%
M: 16 C: 0
0%
M: 15 C: 0
0%
M: 34 C: 0
0%
M: 7 C: 0
0%
M: 2 C: 0
0%
org.overture.interpreter.utilities.type
M: 788 C: 0
0%
M: 46 C: 0
0%
M: 57 C: 0
0%
M: 160 C: 0
0%
M: 34 C: 0
0%
M: 2 C: 0
0%
org.overture.interpreter.values
M: 12086 C: 0
0%
M: 1108 C: 0
0%
M: 1124 C: 0
0%
M: 2551 C: 0
0%
M: 567 C: 0
0%
M: 48 C: 0
0%
org.overture.isapog
M: 523 C: 0
0%
M: 20 C: 0
0%
M: 27 C: 0
0%
M: 124 C: 0
0%
M: 17 C: 0
0%
M: 2 C: 0
0%
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: 80 C: 31
28%
M: 8 C: 0
0%
M: 6 C: 1
14%
M: 24 C: 15
38%
M: 2 C: 1
33%
M: 0 C: 1
100%
org.overture.parser.lex
M: 1198 C: 1804
60%
M: 122 C: 222
65%
M: 113 C: 147
57%
M: 237 C: 457
66%
M: 25 C: 40
62%
M: 6 C: 4
40%
org.overture.parser.messages
M: 230 C: 62
21%
M: 10 C: 0
0%
M: 19 C: 7
27%
M: 50 C: 20
29%
M: 14 C: 7
33%
M: 2 C: 5
71%
org.overture.parser.syntax
M: 3107 C: 10000
76%
M: 436 C: 887
67%
M: 374 C: 630
63%
M: 709 C: 2578
78%
M: 30 C: 222
88%
M: 0 C: 10
100%
org.overture.parser.util
M: 191 C: 169
47%
M: 7 C: 9
56%
M: 20 C: 12
38%
M: 41 C: 42
51%
M: 15 C: 9
38%
M: 2 C: 2
50%
org.overture.pof
M: 189 C: 24
11%
M: 25 C: 3
11%
M: 31 C: 4
11%
M: 49 C: 11
18%
M: 17 C: 4
19%
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: 2260 C: 5535
71%
M: 150 C: 222
60%
M: 144 C: 213
60%
M: 451 C: 1124
71%
M: 47 C: 124
73%
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: 900 C: 717
44%
M: 95 C: 65
41%
M: 99 C: 35
26%
M: 196 C: 133
40%
M: 35 C: 19
35%
M: 3 C: 7
70%
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: 1118 C: 4394
80%
M: 212 C: 624
75%
M: 208 C: 386
65%
M: 240 C: 991
81%
M: 38 C: 138
78%
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: 32 C: 521
94%
M: 2 C: 10
83%
M: 6 C: 101
94%
M: 7 C: 106
94%
M: 5 C: 96
95%
M: 0 C: 1
100%
org.overture.typechecker.assistant.definition
M: 800 C: 3689
82%
M: 105 C: 391
79%
M: 90 C: 283
76%
M: 168 C: 750
82%
M: 9 C: 115
93%
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: 116 C: 383
77%
M: 9 C: 22
71%
M: 11 C: 37
77%
M: 38 C: 74
66%
M: 6 C: 26
81%
M: 1 C: 6
86%
org.overture.typechecker.assistant.type
M: 280 C: 840
75%
M: 24 C: 66
73%
M: 21 C: 86
80%
M: 102 C: 155
60%
M: 3 C: 59
95%
M: 0 C: 5
100%
org.overture.typechecker.util
M: 427 C: 233
35%
M: 20 C: 4
17%
M: 47 C: 21
31%
M: 88 C: 48
35%
M: 35 C: 21
38%
M: 2 C: 5
71%
org.overture.typechecker.utilities
M: 1753 C: 7327
81%
M: 245 C: 581
70%
M: 318 C: 590
65%
M: 328 C: 1403
81%
M: 139 C: 356
72%
M: 2 C: 28
93%
org.overture.typechecker.utilities.expression
M: 331 C: 1488
82%
M: 41 C: 117
74%
M: 50 C: 109
69%
M: 61 C: 313
84%
M: 20 C: 60
75%
M: 0 C: 5
100%
org.overture.typechecker.utilities.pattern
M: 1067 C: 882
45%
M: 83 C: 37
31%
M: 98 C: 74
43%
M: 207 C: 180
47%
M: 50 C: 62
55%
M: 1 C: 9
90%
org.overture.typechecker.utilities.type
M: 2254 C: 4155
65%
M: 312 C: 412
57%
M: 352 C: 372
51%
M: 450 C: 879
66%
M: 136 C: 226
62%
M: 2 C: 38
95%
org.overture.typechecker.visitor
M: 8286 C: 16315
66%
M: 871 C: 1259
59%
M: 720 C: 623
46%
M: 1327 C: 2726
67%
M: 39 C: 239
86%
M: 0 C: 11
100%
org.overture.util
M: 743 C: 5
1%
M: 74 C: 0
0%
M: 48 C: 1
2%
M: 147 C: 1
1%
M: 10 C: 1
9%
M: 2 C: 1
33%
org.overturetool.cgisa
M: 732 C: 0
0%
M: 48 C: 0
0%
M: 58 C: 0
0%
M: 158 C: 0
0%
M: 34 C: 0
0%
M: 3 C: 0
0%
org.overturetool.cgisa.transformations
M: 584 C: 0
0%
M: 54 C: 0
0%
M: 47 C: 0
0%
M: 140 C: 0
0%
M: 20 C: 0
0%
M: 5 C: 0
0%
org.overturetool.cgisa.utils
M: 41 C: 0
0%
M: 0 C: 0
100%
M: 12 C: 0
0%
M: 12 C: 0
0%
M: 12 C: 0
0%
M: 3 C: 0
0%