|Summary:||Out of memory error during trace loading gives bad error message|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
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 :-)