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

Bug 228

Summary:	Function local channels cause crash
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P1
Version:	3.6 Alpha 1
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-11-23 13:58:01 CET

If a channel is declared inside a function, the engine crashes. Such declarations do not make sense and 
should be disallowed.

Comment 1 Gerd Behrmann 2005-12-02 20:23:54 CET

Fixed on the trunk. Function local channel declarations are not forbidden.

Comment 2 Gerd Behrmann 2005-12-02 20:24:40 CET

Correction: I ment to say "Function local channel declarations are now forbidden."