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

Bug 103

Summary: Fatal error due to name clash among templates and processes
Product: UPPAAL Reporter: Ole Høgh Jensen <ohj>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: normal    
Priority: P2    
Version: 3.4.5   
Hardware: All   
OS: All   
Attachments: Test case

Description Ole Høgh Jensen 2004-05-18 11:45:10 CEST
Define two templates, say P and Q.
Instantiate Q:=P() and R:=Q().  (Note multiple use of name Q.)
This produces a fatal error (when e.g. entering simulator).
Comment 1 Ole Høgh Jensen 2004-05-18 11:59:22 CEST
Created attachment 22 [details]
Test case
Comment 2 Gerd Behrmann 2004-05-18 12:04:21 CEST

It is in fact not necessary to create two templates: The syntax checker crashes
when trying to instantiate a previous instance.
Comment 3 Gerd Behrmann 2004-06-02 17:06:00 CEST
I have backported the parser from the development branch. This fixes the problem.