| Class | Description |
|---|---|
| VerificationConditionGenerator |
Responsible for generating verification conditions from a given WyIL file.
|
| Wyil2WyalBuilder |
Responsible for converting a Wyil file into a Wycs file which can then be
passed into the Whiley Constraint Solver (Wycs).
|
Copyright © 2017. All rights reserved.