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

Bug 576

Summary: Error verifying model query
Product: UPPAAL Reporter: Wei Zhao <zhaow>
Component: GUIAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: enhancement CC: adavid
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: Model

Description Wei Zhao 2014-09-30 12:52:48 CEST 
Uppaal shows the error message 'Server connection lost' when I tried to verity the query 'sat:Scenario'. (Model: lsc_example.xml, lsc_traingate_parameters.xml)
Comment 1 Wei Zhao 2014-09-30 12:54:54 CEST 
Created attachment 270 [details]
Model
Comment 2 Marius Mikučionis 2014-09-30 13:13:36 CEST 
LSC support needs to be refactored in general (this is not an isolated issue).