Package: org.overture.ide.vdmrt.ui

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.vdmrt.ui
M: 53 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 16 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
IVdmRtUiConstants
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
VdmRtUIPlugin
M: 53 C: 0
0%
M: 0 C: 0
100%
M: 8 C: 0
0%
M: 16 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%