Bug 240

Summary: Extract concrete trace from tracefile
Product: UPPAAL Reporter: Raymond Kroon <raymanx>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P3    
Version: unspecified   
Hardware: All   
OS: All   

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.