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

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.vdmrt.debug.ui.launchconfigurations
M: 10 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%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
VdmRtApplicationLaunchShortcut
M: 10 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%