Package: org.overture.interpreter

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.interpreter
M: 1731 C: 529
23%
M: 198 C: 50
20%
M: 129 C: 24
16%
M: 422 C: 128
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: 465 C: 225
33%
M: 35 C: 23
40%
M: 27 C: 7
21%
M: 102 C: 50
33%
M: 1 C: 4
80%
M: 0 C: 1
100%
VDMRT
M: 30 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%
VDMSL
M: 398 C: 229
37%
M: 29 C: 23
44%
M: 24 C: 7
23%
M: 83 C: 51
38%
M: 1 C: 4
80%
M: 0 C: 1
100%