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

Bug 79 - Minor memory leaks in engine.
Summary: Minor memory leaks in engine.
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.4.3
Hardware: All All
: P2 minor
Assignee: Gerd Behrmann
Depends on:
Reported: 2004-01-06 17:03 CET by Gerd Behrmann
Modified: 2004-03-15 07:44 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.