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. Is there an alternative method to achieve this?
Hi, formatting isn’t supported as far as I know, unfortunately. And I’m not aware of any alternative solution.
Thank you for your response, that’s annoying for me. 