JaCoCo Coverage Report

Download jacoco.exec binary coverage file

Overall Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
all classes
79%
M: 4974 C: 18364
70%
M: 499 C: 1143
66%
M: 518 C: 989
77%
M: 1139 C: 3772
78%
M: 152 C: 534
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: 201 C: 507
72%
M: 14 C: 44
76%
M: 14 C: 36
72%
M: 28 C: 104
79%
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: 1122 C: 8097
88%
M: 150 C: 492
77%
M: 155 C: 400
72%
M: 247 C: 1631
87%
M: 24 C: 210
90%
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%