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

Scripting the Toolbox



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?