Project

General

Profile

Actions

Command Line Utilities

version.sh

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

Usage:

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

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.

update.sh

Checks for available updates and updates the toolkit.

Usage:

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

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.

install-veritool.sh

Installs Icarus Verilog and VeriTool.

Usage:

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

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.

report.sh

Processes UTT2 traces and generates the HTML test report.

Usage:

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

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.

graphviz.sh

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

Usage:

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

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.

Updated by Alexander Kamkin almost 10 years ago ยท 49 revisions