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
Add an attachment (proposed patch, testcase, etc.)

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 :-)