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

Bug 281

Summary: Comparison on records gives wrong result
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P2    
Version: 3.6 Alpha 4   
Hardware: All   
OS: All   
Architecture:
Attachments: Model
Query file for test case

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