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

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.vdmrt.debug.ui.launching
M: 205 C: 0
0%
M: 10 C: 0
0%
M: 17 C: 0
0%
M: 55 C: 0
0%
M: 12 C: 0
0%
M: 3 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
VdmRtLaunchConfigurationTabGroup
M: 11 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%
VdmRtMainLaunchConfigurationTab
M: 111 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%
VdmRtRuntimeChecksLaunchConfigurationTab
M: 83 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 24 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%