| Class | Description |
|---|---|
| FixedPointWrapper |
This class is called multiple times over different transformations.
|
| VeritestingMain |
Main class file for veritesting static analysis exploration.
|
| Enum | Description |
|---|---|
| FixedPointWrapper.Transformation | |
| StaticRegionException.ExceptionPhase |
| Exception | Description |
|---|---|
| StaticRegionException |
Exception class used whenever violation was detected during veritesting.
|