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

Bug 576 - Error verifying model query
Summary: Error verifying model query
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Linux
: P5 enhancement
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2014-09-30 12:52 CEST by Wei Zhao
Modified: 2014-10-14 09:53 CEST (History)
1 user (show)

See Also:
Architecture:


Attachments
Model (8.10 KB, text/xml)
2014-09-30 12:54 CEST, Wei Zhao
Details

Note You need to log in before you can comment on or make changes to this bug.
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).