Package: VDMUtil

VDMUtil

nameinstructionbranchcomplexitylinemethod
VDMUtil()
M: 3 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
classname(Value)
M: 21 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
seq_of_char2val_(Value)
M: 110 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 23 C: 0
0%
M: 1 C: 0
0%
set2seq(Value)
M: 17 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
val2seq_of_char(Value)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!