[ 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


primexp - provide torx-explorer interface to torx primer


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


The environment variable TORX_ROOT is not supported.


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.

See Also

torx-intro(1), torx_open(1), torx-explorer(5), torx-primer(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: primer(1) - compute test primitives using explorer Valid HTML 4.01! Appendix D: TorX Manual Pages: smileexp(1) - use smile as symbolic explorer for LOTOS