C++TESK Testing ToolKit

h1. Command Line Utilities

h2. $CPPTESK_HOME/bin/version.sh

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

h3. Options:

* _none_ *| --version | -v*

 Display the version and build numbers of the installed tools (CTESK, C++TESK, 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. $CPPTESK_HOME/bin/update.sh

Updates the toolkit.

h3. Options:

* _none_

 Update the toolkit if there are updates available.

* *--check*

 Check for available updates.

* *--help | -h*

 Show available options.

h2. $CPPTESK_HOME/bin/install-veritool.sh

Installs Icarus Verilog and VeriTool.

h3. Options:

* _none_

 Install Icarus Verilog and VeriTool if they are not installed.

* *--force-install-veritool*

 Install Icarus Verilog and VeriTool even if they are installed.

h2. $CPPTESK_HOME/bin/report.sh

Processes UTT2 traces and generates the HTML test report.

h3. Options:

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

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

* *--non-trace-error*

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

* *--non-trace-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. $CPPTESK_HOME/bin/graphviz.sh

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

h3. Usage:

  graphviz.sh [options] input_file [output_file]

h3. Options:

    --format=image_format - set the image format (png, jpg, gif, pdf, ps, ...)

    --version | -v        - show graphviz version

    --help | -h           - show this message