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:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	3.4.11
Hardware:	All
OS:	All
Architecture:

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.