Package: MapApplyObligation

MapApplyObligation

nameinstructionbranchcomplexitylinemethod
MapApplyObligation(PExp, PExp, IPOContextStack, IPogAssistantFactory)
M: 0 C: 36
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
MapApplyObligation(PStateDesignator, PExp, IPOContextStack, IPogAssistantFactory)
M: 41 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%

Coverage

ERROR: Error while reading the sourcefile!