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

Bug 358

Summary:	Error messages about duplicate identifiers assigned to wrong object
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	4.0.2
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case

Description Gerd Behrmann 2006-10-13 20:35:16 CEST

In the attached model, the error message for the duplicate definition of the go location is falsely assigned to the test location.

Comment 1 Gerd Behrmann 2006-10-13 20:35:44 CEST

Created attachment 116 [details]
Test case

Comment 2 Gerd Behrmann 2006-10-13 20:54:11 CEST

Fixed on the 4.0 branch from rev. 2758.

Comment 3 Gerd Behrmann 2006-10-14 00:19:16 CEST

Fixed on the trunk from rev. 2761.