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

Re: [tlaplus] error in TLA toolbox installation


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).


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