Package: org.overture.ide.plugins.csk.internal

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.plugins.csk.internal
M: 750 C: 0
0%
M: 39 C: 0
0%
M: 38 C: 0
0%
M: 175 C: 0
0%
M: 16 C: 0
0%
M: 3 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
VdmTools
M: 315 C: 0
0%
M: 25 C: 0
0%
M: 21 C: 0
0%
M: 67 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
VdmToolsOptions
M: 256 C: 0
0%
M: 8 C: 0
0%
M: 8 C: 0
0%
M: 60 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
WorkbenchPreferencePageCsk
M: 179 C: 0
0%
M: 6 C: 0
0%
M: 9 C: 0
0%
M: 48 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%