Command Line Utilities¶

$CPPTESK_HOME/bin/version.sh¶

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

Options:¶

• --new - find what is new in the installed toolkit
• --log - print the change log
• --version | -v - display the version and build numbers of the installed tools
• --help | -h - show available options

$CPPTESK_HOME/bin/update.sh¶

Options:¶

• --help | -h - show available options

$CPPTESK_HOME/bin/install-veritool.sh¶

Options:¶

• --help | -h - show available options

$CPPTESK_HOME/bin/report.sh¶

Options:¶

• --help | -h - show available options

$CPPTESK_HOME/bin/graphviz.sh¶

Options:¶

• --help | -h - show available options