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

Bug 87 - Out of memory error during trace loading gives bad error message
Summary: Out of memory error during trace loading gives bad error message
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.4
Hardware: All All
: P2 minor
Assignee: Gerd Behrmann
Depends on:
Reported: 2004-01-27 21:10 CET by Gerd Behrmann
Modified: 2004-06-11 09:52 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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 :-)