[ 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 2003-08-05
TorX Test Tool Information
Prev   Next

smileexp(1) - use smile as symbolic explorer for LOTOS

Table of Contents

Name

smileexp - use smile as symbolic explorer for LOTOS

Synopsis

smileexp cr-file

Description

smileexp implements a symbolic explorer for LOTOS using the symbolic LOTOS simulator smile. It starts smile with the given common representation file cr-file and offers the TorX explorer-primer interface on standard input and output.

Bugs

The environment variable TORX_ROOT is not supported.

Because smile need X Windows to run, also smileexp can only be run when X Windows is running.

See Also

smile(1), torx-intro(1), torx-explorer(5), environ(5)

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: primexp(1) - provide torx-explorer interface to torx primer Valid HTML 4.01! Appendix D: TorX Manual Pages: tcp(1) - tcp connection program