This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

A zip file with the debug files gotten from the Socketserver, NB the model used there is the University example, anyhow same problem occurs
Ecdar_problems.zip (application/zip), 32.95 KB, created by Rene Mejer Lauritsen on 2018-03-30 09:56:23 CEST
(hide)
 
Creator: Rene Mejer Lauritsen
Created: 2018-03-30 09:56:23 CEST
Size: 32.95 KB

The attachment is not viewable in your browser due to security restrictions enabled by your Bugzilla administrator.

In order to view the attachment, you first have to download it.

Actions: View
Attachments on bug 650: 323 | 324