Package: FuncIterationObligation

FuncIterationObligation

nameinstructionbranchcomplexitylinemethod
FuncIterationObligation(AStarStarBinaryExp, ILexNameToken, IPOContextStack, IPogAssistantFactory)
M: 0 C: 68
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
getImplies(PExp, PExp, ILexNameToken, ILexNameToken)
M: 0 C: 40
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
getPredicate(AStarStarBinaryExp, ILexNameToken, ILexNameToken)
M: 36 C: 12
25%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 7 C: 2
22%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!