[Jenkins]Jenkins

Package: org.overture.interpreter

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.interpreter
M: 1767 C: 537
23%
M: 206 C: 50
20%
M: 133 C: 24
15%
M: 431 C: 130
23%
M: 12 C: 17
59%
M: 2 C: 3
60%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
VDMJ
M: 818 C: 75
8%
M: 134 C: 4
3%
M: 74 C: 10
12%
M: 222 C: 27
11%
M: 6 C: 9
60%
M: 0 C: 1
100%
VDMJ$1
M: 20 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 6 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
VDMPP
M: 481 C: 229
32%
M: 39 C: 23
37%
M: 29 C: 7
19%
M: 106 C: 51
32%
M: 1 C: 4
80%
M: 0 C: 1
100%
VDMRT
M: 34 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 10 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
VDMSL
M: 414 C: 233
36%
M: 33 C: 23
41%
M: 26 C: 7
21%
M: 87 C: 52
37%
M: 1 C: 4
80%
M: 0 C: 1
100%