Package: TargetNormaliserTrans

TargetNormaliserTrans

nameinstructionbranchcomplexitylinemethod
TargetNormaliserTrans(JmlGenerator)
M: 0 C: 17
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAFieldExpIR(AFieldExpIR)
M: 0 C: 17
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
caseAMapSeqUpdateStmIR(AMapSeqUpdateStmIR)
M: 5 C: 5
50%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 2
67%
M: 0 C: 1
100%
getStateDesInfo()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
markAsCloneFree(List)
M: 0 C: 19
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
normaliseTarget(SStmIR, SExpIR)
M: 1 C: 73
99%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 16
94%
M: 0 C: 1
100%
splitTarget(SExpIR, List, List)
M: 13 C: 146
92%
M: 1 C: 5
83%
M: 1 C: 3
75%
M: 2 C: 29
94%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!