Package: FiniteSetObligation

FiniteSetObligation

nameinstructionbranchcomplexitylinemethod
FiniteSetObligation(ASetCompSetExp, SSetType, IPOContextStack, IPogAssistantFactory)
M: 0 C: 64
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
getExistsPredicate(ASetCompSetExp, ILexNameToken, ILexNameToken)
M: 0 C: 20
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
getForallExp(ASetCompSetExp, ILexNameToken, ILexNameToken)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
getImpliesExists(ASetCompSetExp, ILexNameToken, ILexNameToken)
M: 0 C: 40
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
getImpliesExpression(ASetCompSetExp, ILexNameToken, ILexNameToken)
M: 6 C: 14
70%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 2
67%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!