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

Re: [tlaplus] Increasing JVM heap memory while running TLC

Hi Aman,

to increase TLC’s heap size, do 

   $ java -Xmx<heap_size> -jar tla2tools.jar …

By the way, the Toolbox logs every TLC invocation:

   $ grep 'TLC COMMAND-LINE' ~/.tlaplus/.metadata/.log


> On Mar 11, 2023, at 8:28 PM, Aman Shaikh <amanshaikh75@xxxxxxxxx> wrote:
> Hi
> While running TLC, I'm running into a heap memory exhaustion issue:
> JVM heap exhausted: Java heap space
> Error: Java ran out of memory.  Running Java with a larger memory allocation pool (heap) may fix this.
> Is there a way to specify higher JVM options while running TLC through the command-line?
> thx
> aman

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/9EDF81D1-D5EF-45D7-804E-118636E04CB2%40lemmster.de.