Package: VdmAnalysis

VdmAnalysis

nameinstructionbranchcomplexitylinemethod
VdmAnalysis(INode)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
proceed(INode)
M: 0 C: 39
100%
M: 0 C: 10
100%
M: 0 C: 6
100%
M: 0 C: 8
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!