VerX provides a client which can be used to submit verification jobs to VerX.
The VerX client can be downloaded from here
To use the VerX client, you need to install the following dependencies:
The VerX client is used as follows:
usage: client.py [-h] -f FLATFILE -d DEPLOYER -s SPEC [SPEC ...] -o OUTPUT [-p PARALLEL]
The following three inputs are required:
FLATFILEis a Solidity flat file (no import statements) that contains the contracts to be verified.
DEPLOYERis a deployment script, defining how the contracts are deployed and initialized, as defined in Quick Start.
SPECis a file that defines a property to be verified. The property must follow the syntax defined in the Specification Language.
When done, the client returns the VerX response formated in JSON, as defined in the VerX API.