[Jenkins]Jenkins

Package: org.overture.interpreter.runtime.validation

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.interpreter.runtime.validation
M: 2141 C: 0
0%
M: 216 C: 0
0%
M: 172 C: 0
0%
M: 448 C: 0
0%
M: 61 C: 0
0%
M: 11 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
BasicRuntimeValidator
M: 338 C: 0
0%
M: 38 C: 0
0%
M: 29 C: 0
0%
M: 71 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%
ConjectureDefinition
M: 575 C: 0
0%
M: 70 C: 0
0%
M: 48 C: 0
0%
M: 127 C: 0
0%
M: 13 C: 0
0%
M: 1 C: 0
0%
ConjectureValue
M: 115 C: 0
0%
M: 0 C: 0
100%
M: 6 C: 0
0%
M: 27 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
DeadlineMet
M: 43 C: 0
0%
M: 2 C: 0
0%
M: 4 C: 0
0%
M: 9 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
IRuntimeValidatior
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%
IValidationExpression
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%
IntegerContainer
M: 9 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 4 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
OperationValidationExpression
M: 97 C: 0
0%
M: 14 C: 0
0%
M: 13 C: 0
0%
M: 23 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
Separate
M: 43 C: 0
0%
M: 2 C: 0
0%
M: 4 C: 0
0%
M: 9 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
TimingInvariantsParser
M: 524 C: 0
0%
M: 52 C: 0
0%
M: 30 C: 0
0%
M: 102 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
ValueObserver
M: 27 C: 0
0%
M: 0 C: 0
100%
M: 3 C: 0
0%
M: 11 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
ValueValidationExpression
M: 303 C: 0
0%
M: 38 C: 0
0%
M: 31 C: 0
0%
M: 60 C: 0
0%
M: 10 C: 0
0%
M: 1 C: 0
0%
ValueValidationExpression$BinaryOps
M: 67 C: 0
0%
M: 0 C: 0
100%
M: 2 C: 0
0%
M: 5 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%