Package: ValueBindingObligation

ValueBindingObligation

nameinstructionbranchcomplexitylinemethod
ValueBindingObligation(AEqualsDefinition, IPOContextStack, IPogAssistantFactory)
M: 11 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
ValueBindingObligation(AValueDefinition, IPOContextStack, IPogAssistantFactory)
M: 0 C: 11
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
ValueBindingObligation(PPattern, PType, PExp, IPOContextStack, IPogAssistantFactory)
M: 0 C: 64
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 15
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!