problem when starting uppaal64-4.1.26-2

81 views

Skip to first unread message

Julie Beugin-Univ-Eiffel

unread,

Jan 13, 2023, 6:24:55 AM1/13/23

to UPPAAL

Dear all,

I have a problem when starting uppaal64-4.1.26-2. I always have the message shown in the enclosed picture. I thought it was a basic problem related to the java installation. I tried different versions of JDK (open or not) to solve this problem but I failed. The uppaal interface launches, despite this message and, I regularly get a shorter message which is the following: "Server exited with error -1073741819. Check whether OS is supported" (my OS is Windows 10), leading to the impossibility to check model properties. FYI, automatic proxy detection is set on my computer.

Do you have any idea? Thank you

Marius Mikučionis

unread,

Jan 16, 2023, 5:59:43 AM1/16/23

to UPPAAL

Hi,

Your Java installation is fine (as witnessed by this popup).

It's the engine server (server.exe) that is exiting.

I checked with a fresh UPPAAL installation on a unplugged Windows 10 and it shows the same symptoms, so it is probably proxy-related :-(

Could you please try without proxy?

You can also try running bin-Windows\server.exe directly from a command line (Start -> Run -> cmd.exe -> cd uppaal-4.1.26-2\bin-Windows) and paste the output here.