Re: [tlaplus] How to run TLA+ ToolBox model checking from command line?

[Stephan Merz <stepha...@xxxxxxxxx>]

Hi Jarry,

at the bottom of the TLA+ tools page [1] you'll find a short description on how to use the tools from the command line. If you have any questions that are not answered there, please come back here.

Regards,
Stephan

[1] http://lamport.azurewebsites.net/tla/tools.html


> On 14 Nov 2017, at 13:42, jarr...@xxxxxxxxx wrote:
> 
> I write a TLA+ script, but it seems too slow for model checking in my laptop, even in the multithread mode. So I want to run it in a Linux server which do not have a GUI. Anybody know how to run model checking from command line?
> Thx.
> 
> -- 
> 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+u...@xxxxxxxxxxxxxxxx.
> To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
> Visit this group at https://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.