Bug 581

Summary: Error of the query verification
Product: UPPAAL Reporter: Wei Zhao <zhaow>
Component: GUIAssignee: 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 :-)