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:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	normal
Priority:	P2
Version:	3.4.5
Hardware:	All
OS:	All
Architecture:
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

Confirmed.

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.