Package: FunctionPostCondition

FunctionPostCondition

nameinstructionbranchcomplexitylinemethod
FunctionPostCondition(AExplicitFunctionDefinition, IPOContextStack, IPogAssistantFactory)
M: 24 C: 74
76%
M: 2 C: 6
75%
M: 2 C: 3
60%
M: 6 C: 15
71%
M: 0 C: 1
100%
FunctionPostCondition(AImplicitFunctionDefinition, IPOContextStack, IPogAssistantFactory)
M: 112 C: 0
0%
M: 10 C: 0
0%
M: 6 C: 0
0%
M: 23 C: 0
0%
M: 1 C: 0
0%
generateBody(AExplicitFunctionDefinition, List, PExp)
M: 0 C: 34
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
generatePredicate(AExplicitFunctionDefinition, AExplicitFunctionDefinition, List, PExp)
M: 0 C: 44
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 9
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!