Package: SatisfiabilityObligation

SatisfiabilityObligation

nameinstructionbranchcomplexitylinemethod
SatisfiabilityObligation(AClassInvariantDefinition, IPOContextStack, IPogAssistantFactory)
M: 0 C: 39
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
SatisfiabilityObligation(AImplicitFunctionDefinition, IPOContextStack, IPogAssistantFactory)
M: 5 C: 173
97%
M: 1 C: 9
90%
M: 1 C: 5
83%
M: 1 C: 32
97%
M: 0 C: 1
100%
SatisfiabilityObligation(AImplicitOperationDefinition, PDefinition, IPOContextStack, IPogAssistantFactory)
M: 0 C: 23
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
SatisfiabilityObligation(AStateDefinition, IPOContextStack, IPogAssistantFactory)
M: 0 C: 39
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 9
100%
M: 0 C: 1
100%
SatisfiabilityObligation(ATypeDefinition, IPOContextStack, IPogAssistantFactory)
M: 0 C: 65
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 15
100%
M: 0 C: 1
100%
buildPredicate(AImplicitOperationDefinition, PDefinition)
M: 5 C: 289
98%
M: 1 C: 19
95%
M: 1 C: 10
91%
M: 1 C: 58
98%
M: 0 C: 1
100%
getInvBinds(AStateDefinition)
M: 0 C: 34
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
stateInPost(List, List, PDefinition)
M: 0 C: 62
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
stateInPre(List, PDefinition)
M: 0 C: 32
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
stateInvBinds(AClassInvariantDefinition)
M: 0 C: 38
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
static {...}
M: 0 C: 29
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!