Problem - Error with server and license

[Panos Marinou]

Hello,

I have not run Uppaal for the last couple of weeks. When I tried to run it today, I received the following error:

The program runs, but with problems. The following appears in the about section of the program:

I was able to run the program without any issues for the previous 3-4 months.

Anyone that can help me with this issue?

Thank you in advance

[Panos Marinou]

This is the error that appears on start up.

[Marius Mikučionis]

Hi,

There have been some issues with Uppsala server, now it should work.

I also noticed that on more recent Linux distributions Uppaal has issues with the newer libc, which manifests in a similar error message (engine refuses to start).

The solution is to move the shipped libc libraries out of the way:

cd uppaal64-4.1.26/bin-Linux

mkdir old

mv ld-linux.so libc.so.6 libdl.so.2 libgcc_s.so.1 libm.so.6 libpthread.so.0 librt.so.1 old/

mv verifyta server socketserver old/

mv server.bin server

mv socketserver.bin socketserver

mv verifyta.bin verifyta

Then validate that it actually works:

echo version | ./server

Those libraries are still needed for older systems, hence no universal solution.

Best regards,
Marius

[Yasmine Hirache]

Hello Panos Marinou, please did you find the solution of this problem {server exited with error 3. check whether os supported} ?

Thank you in advance

[Snoussi Mohamed Amine]

Try to download the new version 5.0 and add the licence (recovered from their website for academic purposes).

[Marius Mikučionis]

I have posted a license fetching workaround here:

https://github.com/orgs/UPPAALModelChecker/discussions/274