Verifier is stuck connecting to server

[AsgerHB]

Hello :-)

I am using UPPAAL Stratego for my Thesis project, but I have suddenly found myself unable to run queries using the verifier. It is stuck connecting to the local verification server, as shown on the screenshot below.

I am using UPPAAL 4.1.20-stratego-10-beta1 (rev. 10A58933FEB9B899) on Ubuntu 22.04 LTS, 64 bit, Gnome Desktop 42.0.

I am unable to recall when or why this happened, and neither clearing the install nor clearing the settings at ~.java/.userPrefs/com/uppaal is of any help.

What could be the cause of this?

Edit: I noticed that when I press f5 to reconnect to the local server, I get the following error message:

java.util.ConcurrentModificationException
at java.base/java.util.ArrayList$Itr.checkForComodification(ArrayList.java:1043)
at java.base/java.util.ArrayList$Itr.next(ArrayList.java:997)
at com.uppaal.engine.EngineOptions.accept(EngineOptions.java:284)
at com.uppaal.engine.EngineOptions.getDefaultSettings(EngineOptions.java:248)
at io.b(Unknown Source)
at io.a(Unknown Source)
at ap.a(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$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:85)
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 noticed it says something about engine options, so I tried modifying them to see if that would kick everything back into place. Changing hash table size gives the following error:

[yrke]

what happens if you try to run verifyta via the command-line, eg:

./bin/verifyta -v

[AsgerHB]

This happens for all models that I have tried. The screenshot I sent is from a new empty model.

[RasmusRendal]

In Engine -> Connect To, what mode is selected? It should be bundled, and it does sound like you might be using an incompatible server/GUI

[AsgerHB]

It is indeed the bundled server I'm connecting to. I have made sure to use a clean extraction from the downloaded zip archive, and it was working at one point before something broke.

I'm using the following command through gnome application alacarte (it makes a .desktop file I think)

 java -jar /home/asger/Documents/Files/AAU/10.Semester/uppaal/uppaal-4.1.20-stratego-10-beta1-linux64/uppaal.jar

[RasmusRendal]

Could you write me an e-mail at rrk@cs.aau.dk, and then I can send you a link to the newest beta release? :)

[AsgerHB]

Thank you :) Fortunately I have Beta-2 already, and I did get it working. I am only scared that the same bug might occur again with the new version, but it only has to last the next week and a half ^^

[RasmusRendal]

The issue seems to be no longer present from beta-2 onwards