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

Bug 668

Summary: IllegalStateException in query editor
Product: UPPAAL Stratego Reporter: Frederik Baymler Mathiesen <fmathi16>
Component: GUIAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: normal    
Priority: P5    
Version: 4.1.20-3   
Hardware: PC   
OS: Linux   
Architecture:

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 :-)