modelator-py icon indicating copy to clipboard operation
modelator-py copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Feature: ensure correct JDK used when running Apalache

Open danwt opened this issue 3 years ago • 1 comments

Apalache should be run using the right JDK in order to get it to work on arm64.

danwt avatar Mar 30 '22 12:03 danwt

Note: running tests should be fine in the command-line as is, but IDE's may use a different shell without a configured Java version. This is at least the case for me using VSCode. This makes debugging a test using the UI difficult.

danwt avatar Mar 30 '22 12:03 danwt