Package: org.overture.ide.vdmpp.core

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.vdmpp.core
M: 48 C: 0
0%
M: 2 C: 0
0%
M: 9 C: 0
0%
M: 19 C: 0
0%
M: 8 C: 0
0%
M: 2 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
IVdmPpCoreConstants
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
VdmPpCorePlugin
M: 43 C: 0
0%
M: 2 C: 0
0%
M: 6 C: 0
0%
M: 16 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
VdmPpProjectNature
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 3 C: 0
0%
M: 3 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%