Package: SeqApplyObligation

SeqApplyObligation

nameinstructionbranchcomplexitylinemethod
SeqApplyObligation(PExp, PExp, IPOContextStack, IPogAssistantFactory)
M: 0 C: 32
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
SeqApplyObligation(PStateDesignator, PExp, IPOContextStack, IPogAssistantFactory)
M: 74 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 15 C: 0
0%
M: 1 C: 0
0%

Coverage

ERROR: Error while reading the sourcefile!