Certora Spec Language Server VerifierCfgError

CVL Support
1

Hi, I am using vscode with certora verification language LSP extension. The extension keep print out the error when I open a .spec file.

[2022-02-22T19:52:17Z ERROR spec_langserver] VerifierCfgError: kotlinx.serialization.SerializationException: Class ‘Id’ is not registered for polymorphic serialization in the scope of ‘CVLLhs’.
Mark the base class as ‘sealed’ or register the serializer explicitly.

[Error - 2:52:17 PM] Request textDocument/documentSymbol failed.
Message: AST cache mishit
Code: -32602
[Error - 2:52:17 PM] Request textDocument/codeLens failed.
Message: AST cache mishit
Code: -32602
[Info - 2:52:18 PM] file closed!

I get the same result on this two environment:

  1. java 17.0.2 2022-01-18 LTS / Darwin/ arm64

  2. openjdk 11.0.9 2020-10-20/ Darwin/ x86_64

The error output keep pop up and my current workaround is move the output to sidebar area.

image
image1920×1137 133 KB

1 Like
2

This error that you see is an undesirable output that is produced by our LSP extension.
We are working on hiding it at the moment, and it should be gone in the following weeks.
It shouldn’t affect the usage of the tool though, it’s just a temporary inconvenience.

1 Like
3

Having the same error, I assume I just reduce the window for now right ?

4

This is correct. We are working on mitigating this error. just ignore it at the moment, and soon enough it will disappear.