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

Fix FileNotFoundError exception #68

Closed rnbguy closed 1 year ago

rnbguy commented 1 year ago

Closes #67