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