I am getting the following when running certoraRun
:
Couldn't find the installed Java version. Skipping local CVL specification checking
certoraRun
used to work fine, and as far as I know I haven’t changed my local Java setup. java -version
reports:
$ java -version
openjdk version "11.0.14.1" 2022-02-08
OpenJDK Runtime Environment (build 11.0.14.1+1-Ubuntu-0ubuntu1.21.10)
OpenJDK 64-Bit Server VM (build 11.0.14.1+1-Ubuntu-0ubuntu1.21.10, mixed mode, sharing)