[ 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


smileexp - use smile as symbolic explorer for LOTOS


smileexp cr-file


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.


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)


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