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

[tlaplus] Increasing JVM heap memory while running TLC


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?


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/5f8e64f3-7866-4ab9-ad56-d29dcce3d407n%40googlegroups.com.