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: EngineAssignee: 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.