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

CVL Support
1

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

2

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.

installation

4

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
5

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

1 Like
6

Thank for the response.

7

Hello, I’m using the Certora Verification Language LSP extension for Visual Studio Code, but I’ve encountered an issue where it doesn’t support formatting the spec files.