Package: Exists1QuantifierStrategy

Exists1QuantifierStrategy

nameinstructionbranchcomplexitylinemethod
Exists1QuantifierStrategy(TransAssistantIR, SExpIR, String, ILanguageIterator, ITempVarGen, IterationVarPrefixes, CounterData)
M: 0 C: 12
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
getForLoopCond(AIdentifierVarExpIR, List, SPatternIR)
M: 0 C: 20
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
getForLoopStms(AIdentifierVarExpIR, List, SPatternIR)
M: 1 C: 14
93%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 0 C: 2
100%
M: 0 C: 1
100%
getOuterBlockDecls(AIdentifierVarExpIR, List)
M: 2 C: 28
93%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 4
80%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!