[ 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

primexp(1) - provide torx-explorer interface to torx primer

Table of Contents

Name

primexp - provide torx-explorer interface to torx primer

Synopsis

primexp primerprog [ primerprog-args ... ]

primexp provides access to a TorX primer via the TorX torx-explorer(5) interface. primexp starts the given primerprog program with the optional primerprog-args and communicates with it using the torx-primer(5) interface on the standard input and output of primerprog. primexp offers the TorX torx-explorer(5) interface on its own standard input and output.

This allows the use of CADP tools with TorX primers using torx_open(1). For example, the CADP ocis(1) simulator can be run on program primerprog as follows:

torx_open 'primexp primerprog' ocis

Bugs

The environment variable TORX_ROOT is not supported.

Note

TorX used to contain a different (undocumented) program with the name primexp. That program was just a wrapper around primer(1). It did not add any functionality to TorX and was therefore removed, and the name is now reused.

Contact

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

Version

This manual page documents version 3.9.0 of torx.

Table of Contents

Name
Synopsis
Description
Bugs
Note
See Also
Contact
Version

Prev	Table of Contents	Next
Appendix D: TorX Manual Pages: primer(1) - compute test primitives using explorer		Appendix D: TorX Manual Pages: smileexp(1) - use smile as symbolic explorer for LOTOS