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

Explorer UI: dynamic property feedback

jeffa5 opened this issue · comments

When exploring states in the UI it shows the overall properties for all states so far, could it also show the status of the properties at the current state being explored.

My hope is that this will allow us to automatically be told (when clicking through) that we are now in a bad state (violating properties).

Yes, this is definitely possible. Good idea @jeffa5! Would you like to prepare the PR? Alternatively I'd be happy to take a look into this (although can't commit to a particular turnaround time at the moment).

I'm not too sure when I'd get to it at the moment either but might be able to have a bit of a poke around here and there.