Ecdar / Ecdar/Ecdar-GUI

Default engine always used for loaded queries

Open
#146 0 comments 0 reactions 0 assignees View on GitHub
bug good first issue
Dominant language
Java
Stars
3
Forks
5
PR merge metrics
No merged PRs in 30d

Description

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**
- Setup at least two engines
- Have an existing project with queries
- Assign an engine to at least one query and save it
- Set the engine NOT assigned to the query as the default
- Reload the project

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_

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.