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

Bug 87

Summary:	Out of memory error during trace loading gives bad error message
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	minor
Priority:	P2
Version:	3.4.4
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2004-01-27 21:10:25 CET

When loading a long trace, the GUI can potentially run out of memory. In that
case an exception can be seen at the console, but UPPAAL only reports a
null-error in the GUI. This could be improved.

Reported by Ferdy Hanssen.

Comment 1 Gerd Behrmann 2004-03-14 18:05:40 CET

A fix has been checked into CVS. The fix consists of four parts:

- Reduction of memory requirements for representing a state
- Catching the out of memory error and provinding an appropriate
  error message.
- Recovering from the error such that the GUI can continue to run
  (but the server is killed).
- Finally the speed of loading a trace from the server has been
  improved (this is not really part of this bug, but I could
  just as well fix it now that I was add it :-)