[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?
> MC

Hi Michel,

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