Add document for configuration of TLC worker and heap size

[andylokandy]

I found it quite unclear how to run TLC on multicore. Here is the solution I figured out and I put it here for others that might need:

Set

• Tlaplus › Java: Options: -Xmx20G
• Tlaplus › Tlc › Model Checker: Options: -workers 8

[tmasternak]

I had a similar problem when trying to disable deadlock detection. I found TLC Options page with model checker command-line options when running from tlctools and figured out that they can be set in settings.json eg.:

{
    "tlaplus.tlc.modelChecker.options": "-deadlock"
}

[alygin]

@andylokandy, @tmasternak, there's a Wiki section of the project with description of all the provided settings, including a detailed description of how to set Java options.

But you're right, there should be a separate how-to section with description of common use cases.

[tmasternak]

@alygin thank you for the response. Here is more context for my scenario. I found documentation on how to change the setting in the TLA+ Toolbox UI and was trying to figure out what does this translate in terms of settings.

If I could help in any way just let me know.