|Summary:||Saving trace file does not work|
|Product:||UPPAAL||Reporter:||Ferdy Hanssen <hanssen>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
Description Ferdy Hanssen 2005-07-11 16:10:15 CEST
If, from the simulator, you save a non-empty trace and immediately open it again, it does not want to load the trace. Example: create a model of one automaton with one location and a transition from that location to itself. From the simulator take one transition, save the trace and open the trace again. You get an IO Exception.
Comment 1 Ferdy Hanssen 2005-07-12 10:15:06 CEST
Changed description to "Saving does not work", as loading a trace file generated by verifyta does work.
Comment 2 Gerd Behrmann 2005-07-12 11:15:06 CEST
Comment 3 Gerd Behrmann 2005-07-12 14:19:02 CEST
A fix has been checked into CVS.