Coverage Summary for Package: core.invariants
| Package | Class, % | Method, % | Branch, % | Line, % | Instruction, % |
|---|---|---|---|---|---|
| core.invariants | 100% (3/3) | 46.2% (6/13) | 86.7% (111/128) | 92.1% (176/191) | 92.5% (1018/1100) |
| Class | Class, % | Method, % | Branch, % | Line, % | Instruction, % |
|---|---|---|---|---|---|
| InvariantId | 100% (1/1) | 100% (2/2) | 100% (24/24) | 100% (146/146) | |
| InvariantViolation | 100% (1/1) | 100% (1/1) | 50% (1/2) | 100% (6/6) | 100% (28/28) |
| InvariantVerifierKt | 100% (1/1) | 30% (3/10) | 87.3% (110/126) | 90.7% (146/161) | 91.1% (844/926) |