Package: CasesExhaustiveObligation

CasesExhaustiveObligation

nameinstructionbranchcomplexitylinemethod
CasesExhaustiveObligation(ACasesExp, IPOContextStack, IPogAssistantFactory)
M: 0 C: 46
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
alt2Exp(ACaseAlternative, ACasesExp, IPogAssistantFactory)
M: 0 C: 74
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 16
100%
M: 0 C: 1
100%
recOnExp(ACasesExp, List, PExp, IPogAssistantFactory)
M: 0 C: 33
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!