log2aut(1) - translate TorX log to Aldebaran (.aut)
Table of Contents
log2aut - translate TorX log to Aldebaran (.aut)
log2aut [ options
... ]
log2aut reads a torx-log(4) from standard input and writes
an automaton in Aldebaran (.aut) format on standard output. Which information
is present in the automaton depends on the options given. It is possible
to generate an automaton that uses both test step numbers and 'super' STATEID
information, which results in an automaton that is no longer valid Aldebaran
(.aut) format. Nevertheless it may be useful to do so, and autexp(1) can
deal with such automata.
By default, in the automaton, the number of time
an edge has been taken is indicated by a @number (with number a decimal
number) string added to the end of the edge labels. By default, the automaton
will use 'super' STATEID numbers for its states, if present in the TorX
log, or test step numbers otherwise.
The idea is that options -a,
-t, and -T allow the choice of a 'scheme', and the other options (-c, -C, -n,
-N, -s, -S) allow choice to add or not to add a particular feature.
The following
'scheme' command line options are supported:
- -a
- show edge count numbers, and
use the 'super' STATEID (if present in the log) as automaton states. (mnemonic:
this results in an automaton)
- -t
- use test step numbers but no 'super' STATEID
numbers in the automaton state numbers (mnemonic: this results in a trace)
- -T
- use both test step numbers and 'super' STATEID numbers in the automaton
state numbers.
The following feature choice command line options are supported:
- -c
- show edge count numbers
- -C
- do not show edge count numbers
- -n
- use test step
numbers in the automaton state numbers
- -N
- do not use test step numbers in
the automaton state numbers
- -s
- use 'super' STATEID numbers in the automaton
state numbers
- -S
- do not use 'super' STATEID numbers in the automaton state
numbers
When both -n and -s are given, or when -T is given, the state numbers
will be of the form super_teststep. In that case, the following option can
be used to influence how the edges are sorted in the automaton. Note that
this is not valid Aldebaran (.aut) format (where states should just be numbers).
- -r
- if the automaton state numbers contain a '_', give priority to the rightmost
element when sorting (by default priority is given to the leftmost element)
The order in which the options is given has no effect. (so, it is not
possible to first enable an option and then disable it and then enable
it once more).
torx-intro(1), autexp(1), anifsm(1), torx-log(4)
By
Email: <torx_support@cs.utwente.nl>
This manual page documents version
3.9.0 of torx.
Table of Contents
|
Prev
|
Table of Contents
|
Next
|
|
Appendix D: TorX Manual Pages: log2aniwait(1) - extract aniwait animation commands from torx log
|
|
Appendix D: TorX Manual Pages: log2jararacy(1) - extract states from torx log file for jararacy
|