[Jenkins]Jenkins

Package: org.overture.codegen.vdm2jml

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
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%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
JmlAnnotationHelper
M: 11 C: 309
97%
M: 4 C: 18
82%
M: 4 C: 26
87%
M: 1 C: 75
99%
M: 0 C: 19
100%
M: 0 C: 1
100%
JmlGenMain
M: 123 C: 161
57%
M: 16 C: 22
58%
M: 16 C: 6
27%
M: 30 C: 43
59%
M: 2 C: 1
33%
M: 0 C: 1
100%
JmlGenUtil
M: 109 C: 776
88%
M: 12 C: 60
83%
M: 11 C: 42
79%
M: 19 C: 165
90%
M: 0 C: 17
100%
M: 0 C: 1
100%
JmlGenerator
M: 145 C: 1039
88%
M: 13 C: 81
86%
M: 15 C: 64
81%
M: 43 C: 226
84%
M: 4 C: 28
88%
M: 0 C: 1
100%
JmlSettings
M: 0 C: 13
100%
M: 0 C: 0
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 3
100%
M: 0 C: 1
100%