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

Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox

From: Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx>
Date: Tue, 24 Nov 2015 17:55:23 +0100
References: <56548C3A.2080601@cyber.ee> <565491FD.9010001@lemmster.de> <565494DE.7040400@cyber.ee>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0

On 24.11.2015 17:48, Jaak Ristioja wrote:
> Ok, so that's where the log file is. Looks like a
> java.lang.ArrayIndexOutOfBoundsException at
> pcal.PcalFixIDs.FixMultiprocess(PcalFixIDs.java:194).
> 
> Attached the log file.

Hi Jaak,

can you give the current nightly build [1] a try? It seems your problem
has already been fixed [2].

Thanks
Markus

[1] http://tla.msr-inria.inria.fr/tlatoolbox/ci/products/
[2]
http://tlaplus.codeplex.com/SourceControl/changeset/66731c044a0f7e35e5b3674a2a3ef4623f853008

Follow-Ups:
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Jaak Ristioja

References:
- PlusCal sometimes not working in TLA+ Toolbox
  - From: Jaak Ristioja
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Markus Alexander Kuppe
- Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
  - From: Jaak Ristioja

Prev by Date: Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
Next by Date: Re: Writing an unformal specification (a special case)
Previous by thread: Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
Next by thread: Re: [tlaplus] PlusCal sometimes not working in TLA+ Toolbox
Index(es):
- Date
- Thread