informalsystems / informalsystems/modelator-py
Feature: facilitate progress updates (could be used for progress bars)
Open
- Dominant language
- Python
- Stars
- 27
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
The tool currently writes output in json to stdout but various internal procedures should be designed so that they can be queried for their progress.
Contributor guide
Assessment
This issue has not been assessed yet.