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

Bug 582 - Error - Verification query
Summary: Error - Verification query
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Linux
: P5 enhancement
Assignee: Wei Zhao
URL:
Depends on:
Blocks:
 
Reported: 2014-09-30 13:51 CEST by Wei Zhao
Modified: 2014-11-15 16:47 CET (History)
1 user (show)

See Also:
Architecture:

Attachments
Verification the query of the model got error message (20.85 KB, text/xml)
2014-10-23 10:39 CEST, Wei Zhao 		Details
Model has error (20.85 KB, text/xml)
2014-11-04 09:20 CET, Wei Zhao 		Details
Add an attachment (proposed patch, testcase, etc.)

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