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

Bug 582

Summary:	Error - Verification query
Product:	UPPAAL	Reporter:	Wei Zhao <zhaow>
Component:	GUI	Assignee:	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