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

Re: [tlaplus] TLA tools

From: Markus Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Wed, 5 Sep 2018 07:58:49 -0700
References: <a5a81408-05c2-4e18-9adf-37e082f7b26e@googlegroups.com>

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
MC.tla

Thanks
Markus

Follow-Ups:
- Re: [tlaplus] TLA tools
  - From: Michel Charpentier

References:
- TLA tools
  - From: Michel Charpentier

Prev by Date: Re: [tlaplus] An Issue about the "Add New Spec..." Wizard
Next by Date: Documentation Lacking for Multivar Set Comprehension
Previous by thread: TLA tools
Next by thread: Re: [tlaplus] TLA tools
Index(es):
- Date
- Thread