|[ Home | What's New | Contents | Overview | Contributors | Distribution | Examples | Documentation | Manual | Publications | Mailing List Archive | Problems ]||This page was last updated by Axel Belinfante on 2006-06-30|
|TorX Test Tool Information|
When mkprimer(1) is invoked on a specification file with a .aut suffix, or when the command line option --language AUT is given, the specification file is interpreted as a Aldebaran (.aut) specification file. From the specification file mkprimer(1) generates a torx-primer(5) program: a shell-script that invokes the primer(1) and via it the explorer autexp(1).
The state identifiers in the init and trans fields have the following form: nodeid_edgeid.number where the nodeid and edgeid correspond to node names and edge names in the .dot file that can be generated by autexp(1), and number represent a state. The number is not (directly) related to the structure of the automaton, but dynamically computed during exploration of the automaton (whereas the nodeid and edgeid names are statically derived from the automaton).
Table of Contents
|Prev||Table of Contents||Next|
|Appendix D: TorX Manual Pages: mctrlsrv(1)||Appendix D: TorX Manual Pages: mkprimer-cadp(1) - generate a torx primer for lotos, bcg, fc2 or aut using|