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

Bug 174

Summary: Saving trace file does not work
Product: UPPAAL Reporter: Ferdy Hanssen <hanssen>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: major    
Priority: P2    
Version: 3.5.7   
Hardware: All   
OS: All   
Architecture:

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
Confirmed.
Comment 3 Gerd Behrmann 2005-07-12 14:19:02 CEST
A fix has been checked into CVS.