informalsystems / informalsystems/modelator-py
Feature: update TLC arguments for TLC 2.18
Open
- Dominant language
- Python
- Stars
- 27
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
Approximate [location](https://github.com/informalsystems/modelator-py/blob/d989ea4533020aef9ff852dbadf3af2884d9d2d3/modelator/tlc/raw.py#L19-L70), for commit d989ea4, of relevant code to be changed.
Relevant [TLC issue](https://github.com/tlaplus/tlaplus/issues/640#issuecomment-1042484320) about new format dump feature.
Contributor guide
Assessment
This issue has not been assessed yet.