Package: org.overture.ide.debug.core.model.internal.eval

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.debug.core.model.internal.eval
M: 331 C: 0
0%
M: 10 C: 0
0%
M: 43 C: 0
0%
M: 95 C: 0
0%
M: 38 C: 0
0%
M: 6 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
FailedVdmEvaluationResult
M: 73 C: 0
0%
M: 4 C: 0
0%
M: 11 C: 0
0%
M: 26 C: 0
0%
M: 9 C: 0
0%
M: 1 C: 0
0%
NoEvaluationResult
M: 23 C: 0
0%
M: 0 C: 0
100%
M: 7 C: 0
0%
M: 10 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
VdmEvaluationCommand
M: 37 C: 0
0%
M: 0 C: 0
100%
M: 5 C: 0
0%
M: 11 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
VdmEvaluationEngine
M: 126 C: 0
0%
M: 4 C: 0
0%
M: 10 C: 0
0%
M: 32 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
VdmEvaluationEngine$1
M: 45 C: 0
0%
M: 2 C: 0
0%
M: 3 C: 0
0%
M: 6 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
VdmEvaluationResult
M: 27 C: 0
0%
M: 0 C: 0
100%
M: 7 C: 0
0%
M: 11 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%