[Jenkins]Jenkins

Package: org.overture.codegen.vdm2jml.util

Coverage Summary

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

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AnnotationSorter
M: 0 C: 33
100%
M: 1 C: 5
83%
M: 1 C: 4
80%
M: 0 C: 10
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
IsValChecker
M: 158 C: 12
7%
M: 28 C: 0
0%
M: 26 C: 4
13%
M: 30 C: 4
12%
M: 12 C: 4
25%
M: 0 C: 1
100%
JmlAnnotationComparator
M: 4 C: 39
91%
M: 2 C: 6
75%
M: 2 C: 5
71%
M: 2 C: 11
85%
M: 0 C: 3
100%
M: 0 C: 1
100%
NameGen
M: 14 C: 99
88%
M: 1 C: 5
83%
M: 1 C: 7
88%
M: 3 C: 26
90%
M: 0 C: 5
100%
M: 0 C: 1
100%