Coverage Summary for Package: itmo.verifier.formula
| Package |
Class, %
|
Method, %
|
Branch, %
|
Line, %
|
Instruction, %
|
| itmo.verifier.formula |
87%
(20/23)
|
90%
(72/80)
|
82.1%
(69/84)
|
95.1%
(156/164)
|
96.2%
(2314/2405)
|
|
Class |
Class, %
|
Method, %
|
Branch, %
|
Line, %
|
Instruction, %
|
| CTLFormula |
100%
(1/1)
|
50%
(1/2)
|
|
50%
(1/2)
|
66.7%
(2/3)
|
| Or |
100%
(1/1)
|
75%
(3/4)
|
50%
(6/12)
|
90%
(9/10)
|
83.1%
(69/83)
|
| Element |
100%
(1/1)
|
75%
(3/4)
|
100%
(6/6)
|
85.7%
(6/7)
|
83.7%
(41/49)
|
| Not |
100%
(1/1)
|
75%
(3/4)
|
70%
(7/10)
|
90%
(9/10)
|
88.4%
(61/69)
|
| CTLGrammar |
80%
(12/15)
|
94.3%
(50/53)
|
|
95.5%
(63/66)
|
96.7%
(1656/1713)
|
| TRUE |
100%
(1/1)
|
75%
(3/4)
|
75%
(3/4)
|
83.3%
(5/6)
|
96.8%
(30/31)
|
| AU |
100%
(1/1)
|
100%
(3/3)
|
93.3%
(28/30)
|
100%
(27/27)
|
99.1%
(213/215)
|
| EU |
100%
(1/1)
|
100%
(3/3)
|
88.9%
(16/18)
|
100%
(24/24)
|
100%
(161/161)
|
| EX |
100%
(1/1)
|
100%
(3/3)
|
75%
(3/4)
|
100%
(12/12)
|
100%
(81/81)
|