Command Line Utilities¶

$CPPTESK_HOME/bin/version.sh¶

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

Options:¶

• no options | --version | -v
  Display the version and build numbers of the installed tools (CTESK, C++TESK, NetFSM, 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.

$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