[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] TLA tools
Thanks for the help. Adding --add-modules solves the problem. Is this documented anywhere?
As a side note, is there a way to run the TLC from the Toolbox using the command-line? Why the need for a separate program?
On Wednesday, September 5, 2018 at 10:58:55 AM UTC-4, Markus Alexander Kuppe wrote:
On 04.09.2018 14:21, Michel Charpentier wrote:
> The command-line tools do not seem to be working with Java 9 or 10 (on
> MacOS). Are the developers aware of that? Is there a plan for a fix?
can you please be more specific of what does not work?
For model checking, I can successfully run TLC on macOS 10.13.6 with
Oracle Java 10.0.2 via the following command:
java --add-modules=java.activation -cp /path/to/tla2tools.jar tlc2.TLC