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

A different way to represent the trace log #119

Open Ibra4i opened 1 year ago

Ibra4i commented 1 year ago

image

A different way to represent the trace log could be more suitable, specifically if the models are bigger than the university example. Bigger models = possibly more locations and clocks which could be overwhelming. It might take a long time to scroll, and if the number of components in the simulation query is big, some text will be missing at the right side of the trace box, resulting in something like L9, ….

A possible fix is when clicking on the trace box a pop-up will be shown with all the information contained in it.