[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] TLA tools

On 15.11.18 05:34, Michel Charpentier wrote:
> I'm now running into difficulties with Java 11.  Is any TLC
> (command-line or toolbox) supposed to be working with Java 11?

Hi Michel,

Java 11 hasn't been tested extensively and for now I would advise to
keep using Java 1.8.  That said, TLC and SANY both work with Oracle Java
11.0.1 x86_64 here.

What difficulties do you actually see?