[Jenkins]Jenkins

Package: org.overture.pog.contexts

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.pog.contexts
M: 753 C: 2260
75%
M: 61 C: 135
69%
M: 64 C: 155
71%
M: 197 C: 554
74%
M: 28 C: 93
77%
M: 1 C: 18
95%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
AssignmentContext
M: 11 C: 128
92%
M: 0 C: 8
100%
M: 2 C: 7
78%
M: 5 C: 25
83%
M: 2 C: 3
60%
M: 0 C: 1
100%
OpBodyEndContext
M: 5 C: 97
95%
M: 0 C: 4
100%
M: 1 C: 4
80%
M: 3 C: 19
86%
M: 1 C: 2
67%
M: 0 C: 1
100%
OpPostConditionContext
M: 62 C: 534
90%
M: 7 C: 45
87%
M: 8 C: 31
79%
M: 16 C: 115
88%
M: 2 C: 11
85%
M: 0 C: 1
100%
POCaseContext
M: 2 C: 133
99%
M: 0 C: 2
100%
M: 1 C: 3
75%
M: 1 C: 29
97%
M: 1 C: 2
67%
M: 0 C: 1
100%
POContext
M: 4 C: 38
90%
M: 0 C: 0
100%
M: 1 C: 7
88%
M: 3 C: 10
77%
M: 1 C: 7
88%
M: 0 C: 1
100%
POContextStack
M: 127 C: 174
58%
M: 8 C: 24
75%
M: 7 C: 22
76%
M: 29 C: 49
63%
M: 2 C: 11
85%
M: 0 C: 1
100%
PODefContext
M: 43 C: 0
0%
M: 2 C: 0
0%
M: 4 C: 0
0%
M: 12 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
POForAllContext
M: 80 C: 185
70%
M: 3 C: 5
63%
M: 4 C: 16
80%
M: 19 C: 51
73%
M: 2 C: 14
88%
M: 0 C: 1
100%
POForAllPredicateContext
M: 37 C: 61
62%
M: 2 C: 2
50%
M: 3 C: 6
67%
M: 10 C: 20
67%
M: 2 C: 5
71%
M: 0 C: 1
100%
POFunctionDefinitionContext
M: 102 C: 237
70%
M: 14 C: 18
56%
M: 8 C: 15
65%
M: 24 C: 60
71%
M: 1 C: 6
86%
M: 0 C: 1
100%
POFunctionResultContext
M: 58 C: 186
76%
M: 4 C: 4
50%
M: 3 C: 6
67%
M: 14 C: 47
77%
M: 1 C: 4
80%
M: 0 C: 1
100%
POImpliesContext
M: 16 C: 12
43%
M: 0 C: 0
100%
M: 1 C: 2
67%
M: 4 C: 4
50%
M: 1 C: 2
67%
M: 0 C: 1
100%
POLetDefContext
M: 29 C: 28
49%
M: 3 C: 1
25%
M: 3 C: 3
50%
M: 7 C: 9
56%
M: 1 C: 3
75%
M: 0 C: 1
100%
PONameContext
M: 4 C: 10
71%
M: 0 C: 0
100%
M: 2 C: 2
50%
M: 2 C: 4
67%
M: 2 C: 2
50%
M: 0 C: 1
100%
PONotCaseContext
M: 2 C: 101
98%
M: 0 C: 2
100%
M: 1 C: 4
80%
M: 1 C: 22
96%
M: 1 C: 3
75%
M: 0 C: 1
100%
PONotImpliesContext
M: 20 C: 26
57%
M: 0 C: 0
100%
M: 1 C: 2
67%
M: 5 C: 8
62%
M: 1 C: 2
67%
M: 0 C: 1
100%
POOperationDefinitionContext
M: 149 C: 275
65%
M: 18 C: 18
50%
M: 13 C: 17
57%
M: 41 C: 70
63%
M: 3 C: 9
75%
M: 0 C: 1
100%
POScopeContext
M: 2 C: 7
78%
M: 0 C: 0
100%
M: 1 C: 3
75%
M: 1 C: 3
75%
M: 1 C: 3
75%
M: 0 C: 1
100%
StatefulContext
M: 0 C: 28
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 9
100%
M: 0 C: 4
100%
M: 0 C: 1
100%