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

Re: [tlaplus] Scripting the Toolbox

Sorry, I hadn't seen that. Thanks!


On Saturday, April 16, 2016 at 10:37:26 AM UTC-4, Stephan Merz wrote:
Yes, of course. Please check out the documentation at http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html.


> On 16 Apr 2016, at 15:53, Simon Hudon <simo...@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...@googlegroups.com.
> 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.