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

replace recordclass with dataclass #70

Closed rnbguy closed 1 year ago

rnbguy commented 1 year ago

closes #69