| Summary: | ArrayIndexOutOfBoundsException - Version 4.1.22 | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Frederik Baymler Mathiesen <fmathi16> |
| Component: | GUI | Assignee: | Marius Mikučionis <marius> |
| Status: | RESOLVED FIXED | ||
| Severity: | major | CC: | adavid |
| Priority: | P5 | ||
| Version: | 4.1.22 | ||
| Hardware: | PC | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: | The model that generated the error | ||
Thanks for the report, I am working on this bug. The fix has been released in 4.1.23 The issue is not model specific, it is triggered by race condition of the simulator being updated asynchronously to the model is being compiled in the background. |
Created attachment 332 [details] The model that generated the error Hi, I created a model using UPPAAL and entered the simulator, when I got the following stacktrace, and the GUI does not update following this: java.lang.ArrayIndexOutOfBoundsException: 7 at com.uppaal.gui.simulator.symbolic.SymbolicSimulator.h(Unknown Source) at on.gN.run(Unknown Source) at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313) at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:770) at java.desktop/java.awt.EventQueue.access$600(EventQueue.java:97) at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721) at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:715) at java.base/java.security.AccessController.doPrivileged(Native Method) at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:87) at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:740) at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203) at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124) at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113) at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109) at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90) I have attached the model in question.