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

Bug 581

Summary:	Error of the query verification
Product:	UPPAAL	Reporter:	Wei Zhao <zhaow>
Component:	GUI	Assignee:	Marius Mikučionis <marius>
Status:	ASSIGNED ---
Severity:	enhancement	CC:	adavid
Priority:	P5
Version:	unspecified
Hardware:	PC
OS:	Windows 7
Architecture:	x86_64 (64bit)

Description Wei Zhao 2014-09-30 13:42:12 CEST

The bug happens only on windows 64.

The UPPAAL verification dose not work very well. I have got wrong result. 
I tried to verify the queries of the model '2doors.xml'. But I got wrong result. The Uppaal system is broken when I tried to verify another query.

Comment 1 Marius Mikučionis 2014-10-09 09:14:15 CEST

I am taking over this experimental version :-)