Package: org.overture.ide.help

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.help
M: 66 C: 0
0%
M: 2 C: 0
0%
M: 11 C: 0
0%
M: 22 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
IVdmHelpConstants
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%
VdmHelpPlugin
M: 66 C: 0
0%
M: 2 C: 0
0%
M: 11 C: 0
0%
M: 22 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%