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

[tlaplus] TLA+ Toolbox issues?

Hi everyone,

In summary:

  1. Where does the Toolbox save its settings?
  2. Does the Toolbox run tla2tools.jar from /opt/TLA+Toolbox/tla2tools.jar?


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 the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/67b2b3d6-0595-4fcc-9a78-2a5ff0f384c7n%40googlegroups.com.