Bug 590

Summary: Runtime Error
Product: UPPAAL Reporter: a95419515
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: enhancement CC: adavid, mikael.sjodin, petkovic.milan.1989
Priority: P5    
Version: 4.0.14   
Hardware: PC   
OS: Windows 8   
Architecture: x86_64 (64bit)
Attachments: The error message
Uppaal 4.0.14 server dependencies on healthy Windows 8.1 64bit

Description a95419515 2015-01-04 13:45:52 CET
When I run Uppaal I get:
runtime error 

program : .../bin-win32\server.exe

this application has requested the runtime to terminate it in an unusual way

So I can't analyse my models
Comment 1 Marius Mikučionis 2015-01-05 10:36:26 CET
I have Windows 8.1 64bit and I cannot reproduce this problem neither with version 4.0.14 nor 4.1.19. I can also run the server.exe by double-clicking it.

I need more details, like the precise version and architecture of your operating system.

Could you check the permissions and security settings of the server.exe?
I am just guessing, normally this is not needed.
Comment 2 Milan 2015-07-03 11:20:35 CEST

I have the same problem and my OS is Windows 8.1 64bit (I have the administrator privileges). 
I only face this problem with 4.0.14 (also can't start server.exe by double-clicking it). Version 4.1.19 is working just fine.
Comment 3 Marius Mikučionis 2015-07-20 14:16:15 CEST
Thanks for the feedback. 
Could you please post a screenshot of the error?
Perhaps the error popup contains more (expandable) details?
I still cannot reproduce the problem and the error message is just too generic (it may range anywhere from device drivers, system libraries to malware corruption).
Comment 4 Mikael Sjödin 2015-12-16 09:57:51 CET
Created attachment 285 [details]
The error message
Comment 5 Mikael Sjödin 2015-12-16 10:00:47 CET
The same problem occurs for me with Windows 10. I've tried running server.exe with various compatibility-settings for Windows 7 and 8 but without luck. (BTW I have Visual Studio 2015 installed which changes some system dlls i belive.)
Comment 6 Marius Mikučionis 2015-12-16 11:33:31 CET
Created attachment 286 [details]
Uppaal 4.0.14 server dependencies on healthy Windows 8.1 64bit

Uppaal 4.0.14 server dependencies on healthy Windows 8.1 64bit
Comment 7 Marius Mikučionis 2015-12-16 11:40:24 CET
Thanks Mikael for the screenshot.

I don't have Visual Studio 2015 installed, perhaps that's the interaction causing the problem.

Could you use Dependency Walker to inspect for any errors?

Use x86 (32bit) on bin-Win32\server.exe binary.

I just attached a healthy example of it and how to read it (it shows that api-ms-win-service-private-l1-1-1.dll is missing, but it does not prevent from running, i.e. it is not important).

I would be curious about version numbers of your MSVCRT.DLL file in order to reproduce your symptoms.

Perhaps a solution is to install Visual Studio redistributable (i.e. you would have multiple versions of the same library and then hopefully it would pick the right one), like suggested here: