Package: org.overture.ide.debug.internal.ui.viewers.update

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.debug.internal.ui.viewers.update
M: 474 C: 0
0%
M: 57 C: 0
0%
M: 45 C: 0
0%
M: 135 C: 0
0%
M: 16 C: 0
0%
M: 3 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
VdmDebugTargetProxy
M: 31 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 6 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
VdmModelProxyFactory
M: 24 C: 0
0%
M: 4 C: 0
0%
M: 4 C: 0
0%
M: 6 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
VdmThreadEventHandler
M: 419 C: 0
0%
M: 53 C: 0
0%
M: 39 C: 0
0%
M: 123 C: 0
0%
M: 12 C: 0
0%
M: 1 C: 0
0%