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

Re: [tlaplus] Non reactive HMI

Ah hem. I did not say bug was gone. I said it hasn't materialised yet in 1.5.3.

On 26 Apr 2017 16:50, "Markus Alexander Kuppe" <tlaplus-go...@xxxxxxxxxxx> wrote:
On 25.04.2017 13:44, Asterion Daedalus wrote:
> I have toolbox 1.5.0 running on windows 10.
> [...]
> Getting now the following error from specification page:
> An internal error occurred during: "Periodic workspace save.".
> Cannot set lower sequence number for root (previous: 13, new: 12). Location: D:\Safety\TLA+\workspace\.metadata\.plugins\org.eclipse.core.resources\.safetable\org.eclipse.core.resources
> When I switch to model editor I get:
> An internal error has occurred.
> java.lang.NullPointerException

In a private email Asterion confirmed, that the bug is gone in the most
recent 1.5.3 release of the Toolbox.


You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/YrjXD9K_0Rc/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@googlegroups.com.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.