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

Bug 581 - Error of the query verification
Summary: Error of the query verification
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Windows 7
: P5 enhancement
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2014-09-30 13:42 CEST by Wei Zhao
Modified: 2014-10-09 09:14 CEST (History)
1 user (show)

See Also:
Architecture: x86_64 (64bit)


Attachments

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