|Summary:||Minor memory leaks in engine.|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
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.