[ 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

Name

log2mctrl - translate TorX log to mctrl input

Synopsis

log2mctrl [ logfile ]

Description

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)

Contact

By Email: <torx_support@cs.utwente.nl>

Version

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