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

Bug 78

Summary:	Memory leak in liveness checker
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	minor
Priority:	P2
Version:	3.4.3
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2004-01-06 17:00:36 CET

There is a memory leak in the liveness checker when popping states of the
waiting stack (in the BackFrontFilter::tryGet() method). This has been fixed on
the trunk as of today, but needs to be fixed in the 3.4 branch aswell.

Comment 1 Gerd Behrmann 2004-01-06 17:13:35 CET

Fix has been checked into CVS.