modelator-py icon indicating copy to clipboard operation
modelator-py copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

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

Open danwt opened this issue 3 years ago • 0 comments

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.

danwt avatar Feb 10 '22 16:02 danwt