Bug 329

Summary: Memory leak with convex hull approximation
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: major    
Priority: P2    
Version: 4.0.0   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2006-06-13 18:00:28 CEST
When convex hull approximation is enabled, UPPAAL leaks a lot of memory. The leak may affect other parts of UPPAAL, but convex hull approximation is affected the most.
Comment 1 Gerd Behrmann 2006-06-15 19:30:03 CEST
Fixed on the trunk as of rev. 2122