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

Bug 281 - Comparison on records gives wrong result
Summary: Comparison on records gives wrong result
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.6 Alpha 4
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-02-28 15:40 CET by Gerd Behrmann
Modified: 2006-02-28 17:10 CET (History)
0 users

See Also:
Architecture:

Attachments
Model (826 bytes, application/xml)
2006-02-28 15:41 CET, Gerd Behrmann 		Details
Query file for test case (102 bytes, application/octet-stream)
2006-02-28 15:41 CET, Gerd Behrmann 		Details
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 Gerd Behrmann 2006-02-28 15:40:32 CET 
It seems that comparing records using == or != does not work (the records are not really compared).
Comment 1 Gerd Behrmann 2006-02-28 15:41:10 CET 
Created attachment 91 [details]
Model
Comment 2 Gerd Behrmann 2006-02-28 15:41:25 CET 
Created attachment 92 [details]
Query file for test case
Comment 3 Gerd Behrmann 2006-02-28 17:10:25 CET 
Fixed on trunk (rev. 1572).