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.
You may be looking for the
--typecheck_only flag: Certora Prover CLI Options — Certora Prover Documentation 0.0 documentation
Thank for the response.