This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 668 - IllegalStateException in query editor
Summary: IllegalStateException in query editor
Status: ASSIGNED
Alias: None
Product: UPPAAL Stratego
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.20-3
Hardware: PC Linux
: P5 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2019-09-29 13:26 CEST by Frederik Baymler Mathiesen
Modified: 2019-09-30 16:36 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Frederik Baymler Mathiesen 2019-09-29 13:26:21 CEST 
Query editor (Verifier tab) makes a popup saying "Caught unexpected IllegalStateException. Attempt to mutate in notification."

Steps to reproduce:
1. Select multiple queries in verifier tab
2. Change query in query editor (below the list of queries)
Comment 1 Marius Mikučionis 2019-09-30 16:36:43 CEST 
Thank you for the report, very interesting sequence of actions :-)