Package: org.overture.codegen.trans.quantifier

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.trans.quantifier
M: 3 C: 199
99%
M: 2 C: 10
83%
M: 2 C: 17
89%
M: 1 C: 34
97%
M: 0 C: 13
100%
M: 0 C: 5
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
CounterData
M: 0 C: 15
100%
M: 0 C: 0
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
Exists1QuantifierStrategy
M: 3 C: 74
96%
M: 2 C: 2
50%
M: 2 C: 4
67%
M: 1 C: 12
92%
M: 0 C: 4
100%
M: 0 C: 1
100%
OrdinaryQuantifier
M: 0 C: 24
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
OrdinaryQuantifierStrategy
M: 0 C: 73
100%
M: 0 C: 8
100%
M: 0 C: 8
100%
M: 0 C: 10
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
QuantifierBaseStrategy
M: 0 C: 13
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
M: 0 C: 1
100%