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

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

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


[1] http://tla.msr-inria.inria.fr/tlatoolbox/ci/products/