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

Re: [tlaplus] TLA+ Toolbox java exception

From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Thu, 19 Dec 2013 15:51:29 +0100
References: <9ea70e6f-976d-42c5-8577-30a6e033c763@googlegroups.com>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0

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?

Thanks
Markus

Follow-Ups:
- Re: [tlaplus] TLA+ Toolbox java exception
  - From: yves teissier

References:
- TLA+ Toolbox java exception
  - From: yves teissier

Prev by Date: TLA+ Toolbox java exception
Next by Date: Re: [tlaplus] TLA+ Toolbox java exception
Previous by thread: TLA+ Toolbox java exception
Next by thread: Re: [tlaplus] TLA+ Toolbox java exception
Index(es):
- Date
- Thread