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

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

See Also:

Verification the query of the model got error message (20.85 KB, text/xml)
2014-10-23 10:39 CEST, Wei Zhao
Model has error (20.85 KB, text/xml)
2014-11-04 09:20 CET, Wei Zhao

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