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

Bug 79

Summary:	Minor memory leaks in engine.
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	minor
Priority:	P2
Version:	3.4.3
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2004-01-06 17:03:27 CET

There are a few minor memory leaks in the engine, which have been fixed on the
trunk as of today. These are:

- cddmanager array allocated in cdd_init() is not deallocated.
- FunctionToSink adaptor used in SUCCESSORWrapperFilter is not deallocated

These should be fixed on the 3.4 branch, too.

Comment 1 Gerd Behrmann 2004-01-06 17:30:18 CET

Actually the SUCCESSORWrapperFilter is not in the 3.4 branch. 

A fix for the leak in the cdd library initialisation/destruction has been
checked into CVS.