| Summary: | Extract concrete trace from tracefile | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Raymond Kroon <raymanx> |
| Component: | libutap | Assignee: | Gerd Behrmann <behrmann> |
| Status: | ASSIGNED --- | ||
| Severity: | enhancement | ||
| Priority: | P3 | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
|
Description
Raymond Kroon
2005-12-15 11:52:57 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. |