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

Bug 197

Summary:	Crash with references to channels
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-09-04 20:33:27 CEST

In the CVS version (3.5.9+), the 2doors example from the UPPAAL distribution causes UPPAAL to crash. It 
seems to be related to the use of channel reference parameters.

Comment 1 Gerd Behrmann 2005-09-05 20:02:56 CEST

Fix is in CVS now.