UPPAAL: Server exited with error 3. Check whether OS is supported.
108 views
Skip to first unread message
Rags
May 24, 2024, 11:33:33 AM5/24/24
to UPPAAL
Hello all,
I am using UPPAAL 4.1.26-1. After installation, even after I have the right version of JAVA(17 and above), it throws an error for some reason. In a previous post in this group, I see there was a suggestion to try this without proxy in windows and I tried after turning OFF proxy in my PC. I am still having the same server issue and I am not sure how to fix this. Could anyone please help me with your suggestions?
I am using UPPAAL 4.1.26-1. After installation, even after I have the right version of JAVA(17 and above), it throws an error for some reason. In a previous post in this group, I see there was a suggestion to try this without proxy in windows and I tried after turning OFF proxy in my PC. I am still having the same server issue and I am not sure how to fix this. Could anyone please help me with your suggestions?
Reply all
Reply to author
Forward
0 new messages