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

Bug 487

Summary:	Possible memory leak
Product:	UPPAAL TIGA	Reporter:	Ulrik Nyman <ulrik>
Component:	Engine	Assignee:	Alexandre David <adavid>
Status:	ASSIGNED ---
Severity:	normal
Priority:	P2
Version:	unspecified
Hardware:	PC
OS:	Linux
URL:	http://www.cs.aau.dk/~ulrik/uppaal/memoryleak/
Architecture:

Description Ulrik Nyman 2010-04-17 20:28:54 CEST

When running verifytga one the same model it runs out of memory on a long series of properties in one .q file while it does not run out of memory on the same porperty if this is the first one in the .q file