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

Scripting the Toolbox

From: Simon Hudon <simon...@xxxxxxxxx>
Date: Sat, 16 Apr 2016 06:53:14 -0700 (PDT)

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?

Follow-Ups:
- Re: [tlaplus] Scripting the Toolbox
  - From: Stephan Merz

Prev by Date: Message Passing Asynchronous BFS
Next by Date: Re: [tlaplus] Scripting the Toolbox
Previous by thread: Message Passing Asynchronous BFS
Next by thread: Re: [tlaplus] Scripting the Toolbox
Index(es):
- Date
- Thread