Package: EvalPermPredTrans

EvalPermPredTrans

name	instruction	branch	complexity	line	method
EvalPermPredTrans(TransAssistantIR, ConcPrefixes)	M: 0 C: 15 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 5 100%	M: 0 C: 1 100%
caseAAssignToExpStmIR(AAssignToExpStmIR)	M: 2 C: 42 95%	M: 2 C: 6 75%	M: 2 C: 3 60%	M: 2 C: 8 80%	M: 0 C: 1 100%
caseAAssignmentStmIR(AAssignmentStmIR)	M: 31 C: 0 0%	M: 4 C: 0 0%	M: 3 C: 0 0%	M: 6 C: 0 0%	M: 1 C: 0 0%
caseAMapSeqUpdateStmIR(AMapSeqUpdateStmIR)	M: 2 C: 29 94%	M: 2 C: 2 50%	M: 2 C: 1 33%	M: 2 C: 4 67%	M: 0 C: 1 100%
getSentinelFieldType(SStmIR)	M: 4 C: 26 87%	M: 1 C: 1 50%	M: 1 C: 1 50%	M: 1 C: 5 83%	M: 0 C: 1 100%
handleStateUpdate(SStmIR)	M: 1 C: 93 99%	M: 1 C: 11 92%	M: 1 C: 6 86%	M: 1 C: 25 96%	M: 0 C: 1 100%
isIRGenerated(AMethodDeclIR)	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%

Coverage

ERROR: Error while reading the sourcefile!