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

Re: [tlaplus] Difficulties using TLA+ Toolbox

On 05.01.2017 07:08, jsma...@xxxxxxxxx wrote:
> PS I'm using the 32-bit Toolbox because the 64-bit version just gave me a Java error on start.

Hi,

the error likely said that you tried to run the 64bit Toolbox on a 32bit
Java VM. That does not work. If your hardware is 64bits, I suggest you
install a 64bit Java VM from [1]. More available memory usually results
in faster model checking.

Cheers
Markus

[1]
http://www.oracle.com/technetwork/java/javase/downloads/jre8-downloads-2133155.html