Package: MapInjectivityComp

MapInjectivityComp

nameinstructionbranchcomplexitylinemethod
MapInjectivityComp(AMapCompMapExp, IPOContextStack, IPogAssistantFactory)
M: 0 C: 22
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
MapInjectivityComp(PExp, IPOContextStack, IPogAssistantFactory)
M: 0 C: 22
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
buildPredicate(PExp)
M: 0 C: 203
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 41
100%
M: 0 C: 1
100%
makePattern(ILexNameToken)
M: 0 C: 9
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!