Command-Line Interface
The LiquidJava verifier can be run from the command line with the following options:
| Option | Description |
|---|---|
<...paths> |
Paths (files or directories) to be verified by LiquidJava |
--help |
Show the help message with available options |
--version |
Show the current version of the verifier |
--debug |
Enable debug logging and skip expression simplification for troubleshooting |
To start using the command-line interface, you can follow the setup guide here.