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:	Engine	Assignee:	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).