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

Re: [tlaplus] Toolbox is unresponsive when PrintT is used

Have you tried increasing the Java heap space for Eclipse? This is an option to set in the toolbox.ini file, which is found in the workspace or in the application bundle (Mac OS X). For example, adding the line


allows Eclipse to use 6GB of heap space and may make the Toolbox more responsive. (You have to restart the Toolbox for that option to take effect.)

Best regards,

On 19 Nov 2015, at 15:53, Y2i <yur...@xxxxxxxxx> wrote:

I'm trying to debug my spec using PrintT.  I understand that model checker verifies a huge number of steps, so I'm trying to minimize my test scenario and use PrintT sparingly.  Still, toolbox becomes unresponsive to the point of being almost unusable.   Even if I manage to cancel the model run, switching between tabs takes a lot of time.  Even after exiting/killing toolbox and restarting, then switching to Model tab still takes a lot of time.  Only after commenting out PrintT and re-running the model, or after deleting the model and re-opening the spec, the toolbox becomes usable again.  Would it be possible to improve this?

Thank you,

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+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.