[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] TLA tools
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