GeezerVison

The World Wide Web, restored to 800 pixels of glory.

GeezerVison is showing liquid-java.github.io — Command-Line Interface

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
`-h`, `--help`	Show the help message with available options
`-v`, `--version`	Show the current version of the verifier
`-d`, `--debug`	Enable debug logging and skip expression simplification for troubleshooting
`-lsp`, `--language-server`	Enable language server mode for editor support

To start using the command-line interface, you can follow the setup guide here.

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.