Re: [tlaplus] Scripting the Toolbox

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

Yes, of course. Please check out the documentation at http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html.

Regards,
Stephan

> On 16 Apr 2016, at 15:53, Simon Hudon <simon...@xxxxxxxxx> wrote:
> 
> I would like to include my TLA+ specifications into my test suite. Is there a way of invoking the model checker from 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+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.