Package: org.overture.ide.ui.editor.autoedit

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.ui.editor.autoedit
M: 125 C: 0
0%
M: 16 C: 0
0%
M: 13 C: 0
0%
M: 31 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
VdmAutoEditStrategy
M: 125 C: 0
0%
M: 16 C: 0
0%
M: 13 C: 0
0%
M: 31 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%