Package: IotaStrategy

IotaStrategy

name	instruction	branch	complexity	line	method
IotaStrategy(TransAssistantIR, SExpIR, String, String, ILanguageIterator, ITempVarGen, IterationVarPrefixes, CounterData)	M: 0 C: 25 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 7 100%	M: 0 C: 1 100%
consCounterDecl(IRInfo, AIdentifierPatternIR)	M: 0 C: 21 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 1 100%	M: 0 C: 1 100%
consIotaError(String)	M: 0 C: 21 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 6 100%	M: 0 C: 1 100%
consIotaMultipleResultsError()	M: 0 C: 4 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 1 100%	M: 0 C: 1 100%
consIotaNoMatchError()	M: 4 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
getForLoopStms(AIdentifierVarExpIR, List, SPatternIR)	M: 13 C: 143 92%	M: 2 C: 2 50%	M: 2 C: 1 33%	M: 2 C: 30 94%	M: 0 C: 1 100%
getOuterBlockDecls(AIdentifierVarExpIR, List)	M: 2 C: 55 96%	M: 1 C: 1 50%	M: 1 C: 1 50%	M: 1 C: 12 92%	M: 0 C: 1 100%
getPostOuterBlockStms(AIdentifierVarExpIR, List)	M: 0 C: 44 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 8 100%	M: 0 C: 1 100%

Coverage

ERROR: Error while reading the sourcefile!