| Class | Description |
|---|---|
| ViolationTracker |
| Exception | Description |
|---|---|
| CircularAssertionCallException |
| Error | Description |
|---|---|
| AssertionViolation | |
| ClassInvariantViolation | |
| LoopInvariantViolation | |
| LoopVariantViolation | Thrown whenever a loop variant (decreases/increases) violation occurs. |
| PostconditionViolation | |
| PreconditionViolation |