informalsystems / informalsystems/modelator-py
executable conflict with `modelator`
Open
- Dominant language
- Python
- Stars
- 27
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
Currently `modelator-py` is a dependency on [`modelator`](https://github.com/informalsystems/modelator). But both of them use the same name for the CLI app.
https://github.com/informalsystems/modelator-py/blob/801e8b214217ce977edb655ff0bf3d379b0a91fe/pyproject.toml#L29-L30
Since `modelator-py` because a python library for TLA, I suggest removing `modelator-py` CLI in favor of `modelator` CLI.
Contributor guide
Assessment
This issue has not been assessed yet.