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: GUIAssignee: 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 :-)