Package: org.overture.ide.vdmrt.ui.handlers

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.vdmrt.ui.handlers
M: 215 C: 0
0%
M: 18 C: 0
0%
M: 14 C: 0
0%
M: 43 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
ConvertVdmPpToVdmRtCommandHandler
M: 103 C: 0
0%
M: 14 C: 0
0%
M: 10 C: 0
0%
M: 21 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
ConvertVdmPpToVdmRtCommandHandler$1
M: 112 C: 0
0%
M: 4 C: 0
0%
M: 4 C: 0
0%
M: 23 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%