Package: org.overture.ide.vdmpp.debug

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.vdmpp.debug
M: 100 C: 0
0%
M: 8 C: 0
0%
M: 14 C: 0
0%
M: 35 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
Activator
M: 100 C: 0
0%
M: 8 C: 0
0%
M: 14 C: 0
0%
M: 35 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%
IVdmPpDebugConstants
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%