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

Re: [tlaplus] TLA+ Toolbox java exception

On 12/19/2013 03:02 PM, yves teissier wrote:
> I have an error when I want to open a specification with TLA toolbox.
> Toolbox version : 1.4.7
> OS : Windows 7 professional SP 1 64bits
> Java : version 7 (build 1.7.0_45-b18)
> Specification : PlusCal.tla (or another. I want only to try the toolbox)

Hi Yves,

is there a log file in workspace/.metadata/.log with a complete stack
trace of the NullPointerException?