Package: IsaGen

IsaGen

nameinstructionbranchcomplexitylinemethod
IsaGen()
M: 0 C: 11
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
genVdmToTargetLang(List)
M: 6 C: 62
91%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 2 C: 14
88%
M: 0 C: 1
100%
generateIsabelleSyntax(PExp)
M: 13 C: 12
48%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 0 C: 1
100%
prettyPrint(IRStatus)
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%
prettyPrint(List)
M: 0 C: 31
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
prettyPrintNode(MergeVisitor, IRStatus)
M: 22 C: 33
60%
M: 2 C: 2
50%
M: 2 C: 1
33%
M: 2 C: 8
80%
M: 0 C: 1
100%
vdmExp2IsaString(PExp)
M: 51 C: 20
28%
M: 3 C: 3
50%
M: 3 C: 1
25%
M: 6 C: 6
50%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!