Package: JmlGenMain

JmlGenMain

nameinstructionbranchcomplexitylinemethod
JmlGenMain()
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%
main(String[])
M: 87 C: 161
65%
M: 16 C: 22
58%
M: 14 C: 6
30%
M: 20 C: 43
68%
M: 0 C: 1
100%
usage(String)
M: 33 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 9 C: 0
0%
M: 1 C: 0
0%

Coverage

ERROR: Error while reading the sourcefile!