How to verify the CVL syntax locally (without job submission)

Is there a way to verify CVL syntax without submitting the job ? locally.

The type-checker should be doing this. If it is not working for you maybe you don’t have java installed. Try installing Java version 16+ and maybe reinstalling certora-cli.


There is a way to do this if you are using VSCode. Use the extension Certora Verification Language LSP. When saving .spec files, basic type checking will be executed and syntax errors should be detected.
This tool is in its early stages but it should still reject files with syntax errors.

1 Like

You may be looking for the --typecheck_only flag: Certora Prover CLI Options — Certora Prover Documentation 0.0 documentation

1 Like

Thank for the response.