[Jenkins]Jenkins

Package: org.overture.codegen.vdm2jml.predgen

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2jml.predgen
M: 284 C: 2323
89%
M: 63 C: 217
78%
M: 59 C: 157
73%
M: 68 C: 509
88%
M: 2 C: 74
97%
M: 0 C: 6
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AtomicAssertTrans
M: 0 C: 167
100%
M: 0 C: 12
100%
M: 0 C: 14
100%
M: 0 C: 34
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
RecModHandler
M: 51 C: 86
63%
M: 6 C: 8
57%
M: 6 C: 5
45%
M: 11 C: 20
65%
M: 1 C: 3
75%
M: 0 C: 1
100%
RecModUtil
M: 7 C: 175
96%
M: 6 C: 14
70%
M: 6 C: 9
60%
M: 3 C: 39
93%
M: 0 C: 5
100%
M: 0 C: 1
100%
TypePredDecorator
M: 56 C: 441
89%
M: 12 C: 52
81%
M: 11 C: 46
81%
M: 11 C: 116
91%
M: 0 C: 25
100%
M: 0 C: 1
100%
TypePredHandler
M: 141 C: 801
85%
M: 34 C: 76
69%
M: 31 C: 48
61%
M: 39 C: 168
81%
M: 1 C: 23
96%
M: 0 C: 1
100%
TypePredUtil
M: 29 C: 653
96%
M: 5 C: 55
92%
M: 5 C: 35
88%
M: 4 C: 132
97%
M: 0 C: 10
100%
M: 0 C: 1
100%