Package: org.overture.ide.plugins.uml2.uml2vdm

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.plugins.uml2.uml2vdm
M: 1798 C: 0
0%
M: 182 C: 0
0%
M: 114 C: 0
0%
M: 357 C: 0
0%
M: 23 C: 0
0%
M: 3 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
Uml2Vdm
M: 1018 C: 0
0%
M: 74 C: 0
0%
M: 47 C: 0
0%
M: 194 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%
Uml2VdmUtil
M: 35 C: 0
0%
M: 4 C: 0
0%
M: 5 C: 0
0%
M: 10 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
VdmTypeCreator
M: 745 C: 0
0%
M: 104 C: 0
0%
M: 62 C: 0
0%
M: 153 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%