Package: StrictOrderRelationObligation

StrictOrderRelationObligation

nameinstructionbranchcomplexitylinemethod
StrictOrderRelationObligation(ATypeDefinition, IPOContextStack, IPogAssistantFactory)
M: 0 C: 78
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
makeIrreflexive(PExp, ATypeDefinition)
M: 0 C: 20
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
makeLessWithApply(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%
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!