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

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.vdmsl.debug.ui.launching
M: 105 C: 0
0%
M: 8 C: 0
0%
M: 11 C: 0
0%
M: 29 C: 0
0%
M: 7 C: 0
0%
M: 2 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
VdmSlLaunchConfigurationTabGroup
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%
VdmSlMainLaunchConfigurationTab
M: 98 C: 0
0%
M: 8 C: 0
0%
M: 9 C: 0
0%
M: 27 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%