Utilities for the TLA+ ecoystem and model-based testing using TLA+.
A wrapper script for running TLA+ from the command line