Package: OrdinaryQuantifierStrategy

OrdinaryQuantifierStrategy

nameinstructionbranchcomplexitylinemethod
OrdinaryQuantifierStrategy(TransAssistantIR, SExpIR, String, OrdinaryQuantifier, ILanguageIterator, ITempVarGen, IterationVarPrefixes)
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: 26
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
getForLoopStms(AIdentifierVarExpIR, List, SPatternIR)
M: 0 C: 15
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
getOuterBlockDecls(AIdentifierVarExpIR, List)
M: 0 C: 20
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 2
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!