C++TESK Testing ToolKit

h1. Command Line Utilities

{{toc}}

h2. version.sh

Displays the version and build numbers of the installed tools and prints the change log.

h3. Usage:

$CPPTESK_HOME/bin/version.sh [ _<options>_ ]

h3. Options:

* _none_ *| --version | -v*

 Display the version and build numbers of the installed tools ("CTESK":http://forge.ispras.ru/projects/ctesk, "C++TESK":http://forge.ispras.ru/projects/cpptesk, etc.).

* *--new*

 Display what is new in the installed version of the toolkit comparing with the previous one.

* *--log*

 Print the overall change log of the toolkit (starting from the build 1.0.1 2011-04-15).

* *--help | -h*

 Show available options.

h2. update.sh

Checks for available updates and updates the toolkit.

h3. Usage:

$CPPTESK_HOME/bin/update.sh [ _<options>_ ]

h3. Options:

* _none_ *| --install*

 Update the toolkit if there are updates available.

* *--check*

 Check for available updates.

* *--reinstall*

 Reinstall the toolkit with the latest available version.

* *--help | -h*

 Show available options.

h2. install-veritool.sh

Installs "Icarus Verilog":http://iverilog.icarus.com and "VeriTool":http://forge.ispras.ru/projects/veritool.

h3. Usage:

$CPPTESK_HOME/bin/install-veritool.sh [ _<options>_ ]

h3. Options:

* _none_

 Install Icarus Verilog and VeriTool if they are not installed.

* *--force*

 Install Icarus Verilog and VeriTool even if they are installed.

* *--only-veritool*

 Install VeriTool only

* *--help | -h*

 Show available options.

h2. report.sh

Processes UTT2 traces and generates the HTML test report.

h3. Usage:

$CPPTESK_HOME/bin/report.sh [ _<options>_ ] _<trace-file>_ [ _<trace-file>_ ]*

h3. Options:

* *--dest=*_<directory>_

 Set the output directory for the report being generated. The default directory is *Reports/Report_*_<time>_.

* *--disable-aspect-error*

 Do not process aspect "error". This option is disabled by default.

* *--disable-aspect-fsm*

 Do not process aspect "fsm". This option is disabled by default.

* *--version | -v*

 Display the report generator version.

* *--help | -h*

 Show available options.

h2. graphviz.sh

Constructs the image of the FSM state graph using the graphviz utilities.

h3. Usage:

$CPPTESK_HOME/bin/graphviz.sh [ _<options>_ ] _<input-fsm-file>_ [ _<output-image-file>_ ]

h3. Options:

* *--format=*_<image-format>_

 Set the image format (png, jpg, gif, pdf, ps, etc.).

* *--version | -v*

 Show the graphviz version.

* *--help | -h*

 Show available options.