Package: org.overture.pog.obligation

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.pog.obligation
M: 2191 C: 5604
72%
M: 149 C: 223
60%
M: 141 C: 216
61%
M: 442 C: 1133
72%
M: 44 C: 127
74%
M: 3 C: 35
92%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
CasesExhaustiveObligation
M: 0 C: 153
100%
M: 0 C: 4
100%
M: 0 C: 5
100%
M: 0 C: 30
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
EquivalenceRelationObligation
M: 0 C: 154
100%
M: 0 C: 0
100%
M: 0 C: 5
100%
M: 0 C: 27
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
FiniteMapObligation
M: 0 C: 178
100%
M: 0 C: 2
100%
M: 0 C: 7
100%
M: 0 C: 33
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
FiniteSetObligation
M: 6 C: 156
96%
M: 1 C: 1
50%
M: 1 C: 5
83%
M: 1 C: 28
97%
M: 0 C: 5
100%
M: 0 C: 1
100%
FuncComposeObligation
M: 62 C: 110
64%
M: 5 C: 5
50%
M: 5 C: 1
17%
M: 13 C: 17
57%
M: 0 C: 1
100%
M: 0 C: 1
100%
FuncIterationObligation
M: 36 C: 120
77%
M: 1 C: 1
50%
M: 1 C: 3
75%
M: 7 C: 18
72%
M: 0 C: 3
100%
M: 0 C: 1
100%
FunctionApplyObligation
M: 0 C: 71
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 16
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
FunctionPostCondition
M: 136 C: 152
53%
M: 12 C: 8
40%
M: 8 C: 6
43%
M: 29 C: 33
53%
M: 1 C: 3
75%
M: 0 C: 1
100%
LetBeExistsObligation
M: 0 C: 118
100%
M: 0 C: 4
100%
M: 0 C: 4
100%
M: 0 C: 26
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
MapApplyObligation
M: 41 C: 36
47%
M: 0 C: 0
100%
M: 1 C: 1
50%
M: 8 C: 8
50%
M: 1 C: 1
50%
M: 0 C: 1
100%
MapCompatibleObligation
M: 0 C: 108
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 16
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
MapComposeObligation
M: 0 C: 46
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
MapInjectivityComp
M: 0 C: 256
100%
M: 0 C: 4
100%
M: 0 C: 6
100%
M: 0 C: 52
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
MapInjectivityEnum
M: 0 C: 275
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 45
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
MapInverseObligation
M: 0 C: 46
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 10
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
MapIterationObligation
M: 0 C: 82
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 19
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
NonEmptySeqObligation
M: 0 C: 39
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
NonEmptySetObligation
M: 0 C: 32
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
NonZeroObligation
M: 0 C: 31
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
OperationCallObligation
M: 0 C: 90
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 14
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
OperationPostConditionObligation
M: 113 C: 31
22%
M: 7 C: 1
13%
M: 8 C: 2
20%
M: 23 C: 7
23%
M: 4 C: 2
33%
M: 0 C: 1
100%
OrderedObligation
M: 0 C: 77
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 15
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
ParameterPatternObligation
M: 428 C: 0
0%
M: 20 C: 0
0%
M: 17 C: 0
0%
M: 74 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
ProofObligation
M: 53 C: 582
92%
M: 4 C: 20
83%
M: 13 C: 40
75%
M: 16 C: 131
89%
M: 10 C: 31
76%
M: 0 C: 1
100%
ProofObligationList
M: 51 C: 25
33%
M: 2 C: 2
50%
M: 3 C: 4
57%
M: 13 C: 8
38%
M: 2 C: 3
60%
M: 0 C: 1
100%
RecursiveObligation
M: 346 C: 316
48%
M: 16 C: 24
60%
M: 18 C: 17
49%
M: 69 C: 72
51%
M: 6 C: 9
60%
M: 0 C: 1
100%
SatisfiabilityObligation
M: 10 C: 823
99%
M: 2 C: 38
95%
M: 2 C: 29
94%
M: 2 C: 161
99%
M: 0 C: 11
100%
M: 0 C: 1
100%
SeqApplyObligation
M: 74 C: 32
30%
M: 0 C: 0
100%
M: 1 C: 1
50%
M: 15 C: 7
32%
M: 1 C: 1
50%
M: 0 C: 1
100%
SeqMembershipObligation
M: 30 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
SeqModificationObligation
M: 0 C: 54
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 12
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
SetMembershipObligation
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%
M: 1 C: 0
0%
StateInvariantObligation
M: 167 C: 316
65%
M: 10 C: 10
50%
M: 10 C: 10
50%
M: 32 C: 59
65%
M: 4 C: 6
60%
M: 0 C: 1
100%
StrictOrderRelationObligation
M: 0 C: 152
100%
M: 0 C: 0
100%
M: 0 C: 4
100%
M: 0 C: 27
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
TupleSelectObligation
M: 0 C: 48
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 11
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
TypeCompatibilityObligation
M: 602 C: 752
56%
M: 69 C: 89
56%
M: 50 C: 42
46%
M: 127 C: 167
57%
M: 5 C: 8
62%
M: 0 C: 1
100%
UniqueExistenceObligation
M: 0 C: 32
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
ValueBindingObligation
M: 11 C: 75
87%
M: 0 C: 0
100%
M: 1 C: 2
67%
M: 2 C: 17
89%
M: 1 C: 2
67%
M: 0 C: 1
100%
WhileLoopObligation
M: 0 C: 36
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 7
100%
M: 0 C: 1
100%
M: 0 C: 1
100%