informalsystems / informalsystems/modelator-py
Feature: ensure correct JDK used when running Apalache
Open
- Dominant language
- Python
- Stars
- 27
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
Apalache should be run using the right JDK in order to get it to work on `arm64`.
Contributor guide
Assessment
This issue has not been assessed yet.