|Summary:||Huge number of channels and huge number of processes causes stack overflow|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
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.