search

informalsystems / modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.
Apache License 2.0
28 stars 2 forks source link

added arguments for apalache simulate #63

Closed ivan-gavran closed 2 years ago