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 #69

Closed rnbguy closed 1 year ago

rnbguy commented 1 year ago

recordclass uses c backend, which fails to be built on a custom build/ci environment.

dataclass offers the same functionality while being a python native package.