TST manual page
Table of Contents


tst - CADP installation and configuration auto-test facility


tst [arch]


This program checks the way CADP is installed and configured on the current machine in order to detect potential problems. Many verifications are performed, most of which derived from common problems reported by CADP users.

This program should be run after every installation or upgrade of CADP, as well as every time a problem occurs (especially when reporting a bug to the developers of CADP).


Depending on the optional parameter arch, tst has two different usages.

If arch is absent, then tst will check the current machine on which CADP is installed. In such case, the environment variable $CADP should point to the directory in which CADP is installed.

If arch is present, then tst will check the current machine on which CADP is supposed not to be installed yet. In such case, arch should be equal to the name of the architecture of the current machine, for instance "mac64", "sol64", "win64", "x64"... The list of architecture names supported by CADP is defined in file $CADP/INSTALLATION_2.

Exit Status

Exit status is 0 if everything is alright, 1 otherwise.


Hubert Garavel (INRIA Rhone-Alpes)


The source code (Bourne shell script) of this tool is available in file $CADP/com/tst

See Also

Additional information is available from the CADP Web page located at http://cadp.inria.fr

Directives for installation are given in files $CADP/INSTALLATION_*.

Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.


Please report new bugs to Hubert.Garavel@inria.fr

Table of Contents