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

JVM Arguments

From: Y2i <yur...@xxxxxxxxx>
Date: Tue, 19 May 2015 00:29:04 -0700 (PDT)

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

Follow-Ups:
- Re: JVM Arguments
  - From: Y2i

Prev by Date: New support policy -- please respond:
Next by Date: Re: JVM Arguments
Previous by thread: New support policy -- please respond:
Next by thread: Re: JVM Arguments
Index(es):
- Date
- Thread