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

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

Indeed! The nightly I tried does not have this problem. Thanks!

However it seems to have problems with the progress dialog not closing
properly. After some clicking around the GUI became totally
unresponsive, not even repainting itself after minimize+restore.

Are there any plans for the next TLA Toolbox (bugfix) release?


On 24.11.2015 18:55, Markus Alexander Kuppe wrote:
> 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