informalsystems/modelator-py

Feature: allow custom JVM arguments for TLC, Apalache

danwt opened this issue · 0 comments

danwt commented

Issue created at d989ea4

Suggested location of code that would have to be updated to implement for TLC: here