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

Bug 174 - Saving trace file does not work
Summary: Saving trace file does not work
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.5.7
Hardware: All All
: P2 major
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-07-11 16:10 CEST by Ferdy Hanssen
Modified: 2005-07-12 14:19 CEST (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.