Bug 582

Summary: Error - Verification query
Product: UPPAAL Reporter: Wei Zhao <zhaow>
Component: GUIAssignee: Wei Zhao <zhaow>
Status: ASSIGNED ---    
Severity: enhancement CC: adavid
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: Verification the query of the model got error message
Model has error

Description Wei Zhao 2014-09-30 13:51:22 CEST
Uppaal sent the message 'Run exceeds 100000 steps: probably Zeno behavior' when I tried to verify the first query 'Pr[rt[1]<=runTime](<> gclock>=runTime)' of the model 'spor-test-0041-Discrete-unsched.xml'. Server sent some wrong data to the GUI.
Comment 1 Marius Mikuńćionis 2014-10-14 10:08:48 CEST
Please attach the model.
Also, could you be specific about "some wrong data" and what was the expected data?
Comment 2 Wei Zhao 2014-10-23 10:39:58 CEST
Created attachment 273 [details]
Verification the query of the model got error message
Comment 3 Wei Zhao 2014-11-04 09:20:48 CET
Created attachment 275 [details]
Model has error

Error message