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

Re: JVM Arguments

From: Y2i <yur...@xxxxxxxxx>
Date: Tue, 19 May 2015 00:33:34 -0700 (PDT)
References: <08ac28cd-241f-47f5-98ad-03f0f59eb582@googlegroups.com>

Found some info at https://tla.msr-inria.inria.fr/tlatoolbox/doc/model/distributed-mode.html#running-workers
I think I can.

On Tuesday, May 19, 2015 at 12:29:05 AM UTC-7, Y2i wrote:

There is not much said about JVM Arguments at https://tla.msr-inria.inria.fr/tlatoolbox/doc/model/advanced-page.html#jvmargs
Can I specify -Xms, -Xmx, etc., there?
Thank you,
Yuri

References:
- JVM Arguments
  - From: Y2i

Prev by Date: JVM Arguments
Next by Date: TLAPS and string search algorithms
Previous by thread: JVM Arguments
Next by thread: TLAPS and string search algorithms
Index(es):
- Date
- Thread