Package: FiniteMapObligation

FiniteMapObligation

nameinstructionbranchcomplexitylinemethod
FiniteMapObligation(AMapCompMapExp, PType, IPOContextStack, IPogAssistantFactory)
M: 0 C: 63
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
getExistsPredicate(AMapCompMapExp, ILexNameToken, ILexNameToken)
M: 0 C: 36
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
getForallExp(AMapCompMapExp, 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(AMapCompMapExp, ILexNameToken, ILexNameToken)
M: 0 C: 19
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
getImpliesExpression(AMapCompMapExp, ILexNameToken, ILexNameToken)
M: 0 C: 18
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
getSetBindList(ILexNameToken, ILexNameToken)
M: 0 C: 24
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!