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

Feature: facilitate progress updates (could be used for progress bars) #33

Open danwt opened 2 years ago

danwt commented 2 years ago

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.