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

No Default Backend #129

Closed Nielswps closed 1 year ago

Nielswps commented 1 year ago

If the backend options list is empty and the user adds a new backend, this will not be set as the default. This is not desired, as there should always be a default backend. The situation where there is no backend in the list can occur if an error occurred during the loading of the packaged backends.