Package: StateInvariantObligation

StateInvariantObligation

nameinstructionbranchcomplexitylinemethod
StateInvariantObligation(AAssignmentStm, IPOContextStack, IPogAssistantFactory)
M: 46 C: 88
66%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 7 C: 20
74%
M: 0 C: 1
100%
StateInvariantObligation(AAtomicStm, IPOContextStack, IPogAssistantFactory)
M: 0 C: 82
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 16
100%
M: 0 C: 1
100%
StateInvariantObligation(AClassInvariantDefinition, IPOContextStack, IPogAssistantFactory)
M: 0 C: 25
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
StateInvariantObligation(AExplicitOperationDefinition, IPOContextStack, IPogAssistantFactory)
M: 25 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
StateInvariantObligation(AImplicitOperationDefinition, IPOContextStack, IPogAssistantFactory)
M: 35 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
extractInv(AAtomicStm)
M: 19 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
getStateName(PDefinition)
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
invDefs(PDefinition)
M: 38 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 8 C: 0
0%
M: 1 C: 0
0%
invDefs(SClassDefinition)
M: 0 C: 30
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
makeInvApplyExp(AAtomicStm)
M: 4 C: 87
96%
M: 1 C: 3
75%
M: 1 C: 2
67%
M: 1 C: 11
92%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!