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

Bug 332

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

Description Gerd Behrmann 2006-07-03 16:47:19 CEST
The fix in 4.0.1 for the memory leak in 4.0.0 (bug 329) contains another memory leak (although not as severe as the old one).
Comment 1 Gerd Behrmann 2006-07-08 15:50:26 CEST
Fixed from rev. 2408.