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: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: minor    
Priority: P2    
Version: 3.4.3   
Hardware: All   
OS: All   

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.