Re: [tlaplus] error in TLA toolbox installation

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

Hi,

based on the information in the log (eclipse.buildId=1.4.2), you might have downloaded an old, outdated version of the TLA+ Toolbox that is no longer compatible with recent Java VMs.  I recommend downloading the latest TLA+ Toolbox version (v1.7.1), from the following link: https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1#latest-tla-files

Once you've downloaded the latest version, follow the installation instructions provided at https://lamport.azurewebsites.net/tla/toolbox.html (Obtaining the Toolbox > Installing the Toolbox).

Markus

> On Mar 25, 2023, at 12:22 AM, 'St Paul, MN USA' via tlaplus <tlaplus@xxxxxxxxxxxxxxxx> wrote:
> 
> I downloaded the TLA Tool Box and unzipped it to C:, it has two executables one a eclipsec and another a toolbox executable, I get an error on executing the two, the log file is here:
> !SESSION 2023-03-25 11:50:57.220 -----------------------------------------------
> eclipse.buildId=1.4.2
> java.version=17.0.6
> java.vendor=Eclipse Adoptium
> BootLoader constants: OS=win32, ARCH=x86_64, WS=win32, NL=en_US
> Command-line arguments:  -os win32 -ws win32 -arch x86_64


-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/07C6F313-08C0-432E-B097-C4BFB50B5ADB%40lemmster.de.