Current scope: all classes
|
itmo.verifier.model
Coverage Summary for Package: itmo.verifier.model
| Package | Class, % | Method, % | Branch, % | Line, % | Instruction, % |
|---|---|---|---|---|---|
| itmo.verifier.model | 100% (12/12) | 76% (19/25) | 94% (47/50) | 94.1% (128/136) | 98.2% (921/938) |
| Class | Class, % | Method, % | Branch, % | Line, % | Instruction, % |
|---|---|---|---|---|---|
| ActionKripke | 100% (1/1) | 100% (1/1) | 100% (1/1) | 100% (12/12) | |
| Assign | 100% (1/1) | 100% (1/1) | 100% (1/1) | 100% (12/12) | |
| EventKripke | 100% (1/1) | 100% (1/1) | 100% (1/1) | 100% (7/7) | |
| GuardKripke | 100% (1/1) | 50% (1/2) | 66.7% (2/3) | 71.4% (10/14) | |
| State | 100% (1/1) | 100% (1/1) | 100% (7/7) | 100% (47/47) | |
| Transition | 100% (1/1) | 100% (1/1) | 100% (8/8) | 100% (43/43) | |
| Variable | 100% (1/1) | 100% (1/1) | 100% (1/1) | 100% (20/20) | |
| VariableType | 100% (1/1) | 100% (2/2) | 100% (2/2) | 100% (20/20) | |
| Model | 100% (4/4) | 66.7% (10/15) | 94% (47/50) | 93.8% (105/112) | 98.3% (750/763) |