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

Bug 88

Summary:	Parser does not recognise non-constant initialiser
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	normal
Priority:	P2
Version:	3.4.4
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case triggering the bug

Description Gerd Behrmann 2004-01-27 21:12:49 CET

In the attached system an integer variable is initialised from another integer
variable. This should not be allowed, but the parser does not detect the error.

Reported by Ferdy Hanssen.

Comment 1 Gerd Behrmann 2004-01-27 21:13:33 CET

Created attachment 17 [details]
Test case triggering the bug

Comment 2 Gerd Behrmann 2004-01-29 18:57:38 CET

The fix is in CVS now.