informalsystems / informalsystems/modelator-py
Feature: allow custom JVM arguments for TLC, Apalache
Open
- Dominant language
- Python
- Stars
- 27
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
_Issue created at [d989ea4](https://github.com/informalsystems/modelator-py/commit/d989ea4533020aef9ff852dbadf3af2884d9d2d3)_
Suggested location of code that would have to be updated to implement for TLC: [here](https://github.com/informalsystems/modelator-py/blob/d989ea4533020aef9ff852dbadf3af2884d9d2d3/modelator/tlc/raw.py#L19-L70)
Contributor guide
Assessment
This issue has not been assessed yet.