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

Default engine always used for loaded queries #146

Open Nielswps opened 1 year ago

Nielswps commented 1 year ago

When a query is loaded from an existing project, it is always assigned the default engine, despite another engine being specified in the Queries.json file

How to reproduce

The query is now assigned the new default engine instead of the one specified in the JSON file

Originally posted by @Nielswps in https://github.com/Ecdar/Ecdar-GUI/issues/136#issuecomment-1451715069