If you are missing a feature in the TLA Toolbox or TLA Tools or found a bug in them, don’t hesitate to share this with us. In order to track bugs, we use a bug-tracking system called Bugzilla. Our Bugzilla information is public readable. In addition, we run Discussion Forums to be able to respond to your questions. You can use the Bugs forum for these discussions.
We are trying hard to make the tools work correctly, but we do not have the resources to make the tools anywhere near bug-free. Please help us by opening a bug / enchancement report if you find a problem. In order to do this, you will need to create an account. Please search for existing bugs before entering a new one to make sure it hasn’t already been reported.
We will try our best to fix