Remove `Contains Deadlock?` menu item from component dropdown menu

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

Closed Nielswps closed 1 year ago

Nielswps commented 1 year ago

Remove the "Contains Deadlock?" menu item from component dropdown menu, as it is not part of ECDAR