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

better cli docs #48

Closed danwt closed 2 years ago

danwt commented 2 years ago

Tackles https://github.com/informalsystems/modelator-py/issues/47