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

Failed to run TLA+ Toolbox 1.5.3 on Mac OS El Capitan

From: Kapil Agarwal <kapi...@xxxxxxxxx>
Date: Sun, 1 Oct 2017 15:27:05 -0700 (PDT)

Hi

I have been unable to run TLA+ Toolbox 1.5.3 on Mac OS El Capitan 10.11.6 with Java 8 build 1.8.0 installed.
I have attached the error logs I got on running the toolbox at https://pastebin.com/Kcj26Jf1.

Any help is appreciated.

Thanks
Kapil

Follow-Ups:
- Re: [tlaplus] Failed to run TLA+ Toolbox 1.5.3 on Mac OS El Capitan
  - From: Markus Alexander Kuppe

Prev by Date: Re: [tlaplus] Missing error trace on invariant violation
Next by Date: Re: [tlaplus] Failed to run TLA+ Toolbox 1.5.3 on Mac OS El Capitan
Previous by thread: Re: Formatting ASCII text
Next by thread: Re: [tlaplus] Failed to run TLA+ Toolbox 1.5.3 on Mac OS El Capitan
Index(es):
- Date
- Thread