Ecdar / Ecdar-GUI

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
MIT License
3 stars 5 forks source link

Make something to indicate that a reachability check is running. #124

Open Ibra4i opened 1 year ago

Ibra4i commented 1 year ago

Right now when choosing to have a reachability check, nothing happens until the result is shown. The user might need something that indicates when a reachability check in the simulation view is running. It could be something like changing the mouse icon to reload/load: image