|Summary:||Extract concrete trace from tracefile|
|Product:||UPPAAL||Reporter:||Raymond Kroon <raymanx>|
|Component:||libutap||Assignee:||Gerd Behrmann <behrmann>|
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.