Hi everyone,
In summary:
I’m running Ubuntu 22.04 and I’m having some issues with the Toolbox.
I stumbled upon a liveness “bug” in the Toolbox version 1.71 and version 1.80, where TLC detects stuttering where there isn’t any when verifying liveness properties.
The specification is simple enough to see there isn’t stuttering at all. I ran an external tla2tools.jar version 2.18 from the terminal and no problems were detected in my spec.
So I thought: “Maybe it’s TLC. I should replace this tla2tools file with the one TLA+ Toolbox uses.” It didn’t work.
Am I missing something?
I’d like to do a clean install this time. A full uninstallation doesn’t seem to happen through sudo apt purge tla+toolbox
because, when reinstalling the Toolbox through a .deb
file, it seems to remember all my previous settings. Shouldn’t the settings be removed along the Toolbox when uninstalling?
I hope this isn't confusing…
Best,
Jones
--
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/k6tw6sf-uDU/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/26F1F898-EF96-4419-B4E2-4577DFE01631%40lemmster.de.