Package: EquivalenceRelationObligation

EquivalenceRelationObligation

nameinstructionbranchcomplexitylinemethod
EquivalenceRelationObligation(ATypeDefinition, IPOContextStack, IPogAssistantFactory)
M: 0 C: 74
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
makeEqWithApply(PExp, PExp, ATypeDefinition)
M: 0 C: 26
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
makeReflexive(PExp, ATypeDefinition)
M: 0 C: 8
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
makeSymmetric(PExp, PExp, ATypeDefinition)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
makeTransitive(PExp, PExp, AVariableExp, ATypeDefinition)
M: 0 C: 28
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!