Package: org.overture.ide.builders.vdmj

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.builders.vdmj
M: 408 C: 0
0%
M: 26 C: 0
0%
M: 35 C: 0
0%
M: 117 C: 0
0%
M: 22 C: 0
0%
M: 6 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
Activator
M: 23 C: 0
0%
M: 0 C: 0
100%
M: 6 C: 0
0%
M: 11 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
BuilderPp
M: 87 C: 0
0%
M: 8 C: 0
0%
M: 7 C: 0
0%
M: 32 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
BuilderRt
M: 32 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 10 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
BuilderSl
M: 82 C: 0
0%
M: 6 C: 0
0%
M: 6 C: 0
0%
M: 28 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
ExitStatus
M: 34 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
IBuilderVdmjConstants
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
VdmjBuilder
M: 150 C: 0
0%
M: 12 C: 0
0%
M: 13 C: 0
0%
M: 34 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%