Coverage Summary for Package: itmo.verifier
| Package |
Class, %
|
Method, %
|
Branch, %
|
Line, %
|
Instruction, %
|
| itmo.verifier |
92.9%
(39/42)
|
87.2%
(41/47)
|
25%
(2/8)
|
71.1%
(59/83)
|
50%
(245/490)
|
|
Class |
Class, %
|
Method, %
|
Branch, %
|
Line, %
|
Instruction, %
|
| MainKt |
0%
(0/2)
|
0%
(0/3)
|
0%
(0/6)
|
0%
(0/19)
|
0%
(0/123)
|
| WidgetAttribute |
0%
(0/1)
|
0%
(0/1)
|
|
0%
(0/1)
|
0%
(0/99)
|
| Action |
100%
(3/3)
|
100%
(3/3)
|
|
100%
(3/3)
|
100%
(22/22)
|
| Attributes |
100%
(3/3)
|
100%
(3/3)
|
|
100%
(3/3)
|
100%
(12/12)
|
| Checker |
100%
(1/1)
|
66.7%
(2/3)
|
100%
(2/2)
|
88.9%
(8/9)
|
78.5%
(51/65)
|
| Code |
100%
(2/2)
|
100%
(2/2)
|
|
100%
(3/3)
|
100%
(8/8)
|
| Data |
100%
(3/3)
|
100%
(3/3)
|
|
100%
(3/3)
|
100%
(12/12)
|
| Diagram |
100%
(3/3)
|
100%
(4/4)
|
|
85.7%
(6/7)
|
87%
(20/23)
|
| Event |
100%
(3/3)
|
100%
(3/3)
|
|
100%
(3/3)
|
100%
(17/17)
|
| Guard |
100%
(2/2)
|
100%
(2/2)
|
|
100%
(3/3)
|
100%
(8/8)
|
| Incoming |
100%
(3/3)
|
100%
(3/3)
|
|
100%
(3/3)
|
100%
(12/12)
|
| Name |
100%
(2/2)
|
100%
(2/2)
|
|
100%
(3/3)
|
100%
(8/8)
|
| Outgoing |
100%
(3/3)
|
100%
(3/3)
|
|
100%
(3/3)
|
100%
(12/12)
|
| StateMachine |
100%
(3/3)
|
100%
(3/3)
|
|
85.7%
(6/7)
|
87.5%
(21/24)
|
| Type |
100%
(2/2)
|
100%
(2/2)
|
|
100%
(3/3)
|
100%
(8/8)
|
| Variable |
100%
(3/3)
|
75%
(3/4)
|
|
80%
(4/5)
|
80%
(12/15)
|
| Widget |
100%
(3/3)
|
100%
(3/3)
|
|
100%
(5/5)
|
100%
(22/22)
|