Giters

stateright / stateright

A model checker for implementing distributed systems.

Home Page:https://docs.rs/stateright

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Report depth in ReportData

jeffa5 opened this issue · comments

commented

Whilst a check run is running it would be nice to be able to monitor the depth progress through the tree as some sort of indication how complete it might be.