[ 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-02-15
TorX Test Tool Information
Prev   Next

log2mctrl(1) - translate TorX log to mctrl input

Table of Contents


log2mctrl - translate TorX log to mctrl input


log2mctrl [ logfile ]


log2mctrl reads a torx-log(4) from logfile or from standard input when no logfile is given and writes corresponding input for mctrl(1) on standard output, to update the slider bar. From the given logfile it takes step numbers from ABSTRACT and EXPECTED lines.

See Also

torx-intro(1), mctrl(1), log2aut(1), log2jararacy(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: log2jararacy(1) - extract states from torx log file for jararacy Valid HTML 4.01! Appendix D: TorX Manual Pages: log2msc(1) - extract Message Sequence Chart from TorX log file