Package: MapInverseObligation

MapInverseObligation

nameinstructionbranchcomplexitylinemethod
MapInverseObligation(AMapInverseUnaryExp, IPOContextStack, IPogAssistantFactory)
M: 0 C: 46
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 10
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!