Package: org.overture.ide.vdmpp.debug.ui.launching

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.vdmpp.debug.ui.launching
M: 120 C: 0
0%
M: 10 C: 0
0%
M: 12 C: 0
0%
M: 31 C: 0
0%
M: 7 C: 0
0%
M: 3 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
VdmDebugCommandActionDelegate
M: 3 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
VdmPpLaunchConfigurationTabGroup
M: 7 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
VdmPpMainLaunchConfigurationTab
M: 110 C: 0
0%
M: 10 C: 0
0%
M: 9 C: 0
0%
M: 28 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%