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: libutapAssignee: 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.