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

Bug 170

Summary: Huge number of channels and huge number of processes causes stack overflow
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.4.11   
Hardware: All   
OS: All   

Description Gerd Behrmann 2005-07-05 10:55:18 CEST
In models with a large number of channels and a large number of processes, a stack overflow is triggered 
in the successor computation. 

A fix for 3.4 and 3.5 has already been checked in. I'm creating this bug for documentation purposes only.

This problem was reported by Daniel Karlsson.
Comment 1 Gerd Behrmann 2005-07-05 10:55:41 CEST
As mentioned, this is already fixed in CVS. Resolving bug.