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

Bug 240 - Extract concrete trace from tracefile
Summary: Extract concrete trace from tracefile
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: unspecified
Hardware: All All
: P3 enhancement
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-12-15 11:52 CET by Raymond Kroon
Modified: 2006-01-03 16:29 CET (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 Raymond Kroon 2005-12-15 11:52:57 CET
It would be a real improvement if a concrete trace could also be extracted from 
a xtr trace file.
Comment 1 Gerd Behrmann 2006-01-03 16:29:09 CET
With the information found in the XTR file, this is difficult to achieve without the machinery found in the 
UPPAAL engine. As a first step, I have added support to verifyta for generating pre-stable traces. This 
might make it easier to hack concrete trace printing into the tracer utility, but a more permanent solution 
is to extend/replace the XTR file format with a more self-contained format better suited to the task. 
However, this will not happen before 3.6 is released.