JaCoCo Coverage Report

Download jacoco.exec binary coverage file

Overall Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
all classes
79%
M: 4978 C: 18248
69%
M: 498 C: 1120
65%
M: 516 C: 972
77%
M: 1140 C: 3754
78%
M: 152 C: 527
86%
M: 17 C: 103

Coverage Breakdown by Package

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2c
M: 687 C: 4714
87%
M: 93 C: 321
78%
M: 112 C: 269
71%
M: 172 C: 924
84%
M: 32 C: 142
82%
M: 1 C: 18
95%
org.overture.codegen.vdm2c.analysis
M: 32 C: 574
95%
M: 0 C: 44
100%
M: 10 C: 59
86%
M: 20 C: 119
86%
M: 10 C: 37
79%
M: 0 C: 10
100%
org.overture.codegen.vdm2c.ast
M: 207 C: 501
71%
M: 16 C: 42
72%
M: 15 C: 35
70%
M: 29 C: 103
78%
M: 4 C: 17
81%
M: 0 C: 4
100%
org.overture.codegen.vdm2c.distribution
M: 27 C: 736
96%
M: 14 C: 68
83%
M: 14 C: 43
75%
M: 6 C: 171
97%
M: 1 C: 15
94%
M: 0 C: 3
100%
org.overture.codegen.vdm2c.distribution.transformations
M: 511 C: 1596
76%
M: 33 C: 71
68%
M: 27 C: 42
61%
M: 123 C: 386
76%
M: 4 C: 13
76%
M: 2 C: 6
75%
org.overture.codegen.vdm2c.sourceformat
M: 51 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 9 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
org.overture.codegen.vdm2c.tags
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.vdm2c.transformations
M: 1120 C: 7987
88%
M: 147 C: 471
76%
M: 152 C: 384
72%
M: 247 C: 1614
87%
M: 24 C: 203
89%
M: 3 C: 48
94%
org.overture.codegen.vdm2c.utils
M: 352 C: 2140
86%
M: 69 C: 103
60%
M: 58 C: 140
71%
M: 98 C: 437
82%
M: 12 C: 100
89%
M: 0 C: 14
100%
org.overture.ide.plugins.cgen
M: 285 C: 0
0%
M: 18 C: 0
0%
M: 27 C: 0
0%
M: 77 C: 0
0%
M: 18 C: 0
0%
M: 2 C: 0
0%
org.overture.ide.plugins.cgen.commands
M: 303 C: 0
0%
M: 14 C: 0
0%
M: 20 C: 0
0%
M: 86 C: 0
0%
M: 13 C: 0
0%
M: 5 C: 0
0%
org.overture.ide.plugins.cgen.generator
M: 871 C: 0
0%
M: 46 C: 0
0%
M: 32 C: 0
0%
M: 148 C: 0
0%
M: 9 C: 0
0%
M: 1 C: 0
0%
org.overture.ide.plugins.cgen.util
M: 532 C: 0
0%
M: 48 C: 0
0%
M: 47 C: 0
0%
M: 125 C: 0
0%
M: 23 C: 0
0%
M: 2 C: 0
0%