Package: EvalPermPredTrans

EvalPermPredTrans

nameinstructionbranchcomplexitylinemethod
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!