Project

General

Profile

Actions

Command Line Utilities » History » Revision 3

« Previous | Revision 3/49 (diff) | Next »
Alexander Kamkin, 08/30/2011 04:03 PM


Command Line Utilities

$CPPTESK_HOME/bin/version.sh

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

$CPPTESK_HOME/bin/update.sh

$CPPTESK_HOME/bin/install-veritool.sh

$CPPTESK_HOME/bin/report.sh

$CPPTESK_HOME/bin/graphviz.sh

Updated by Alexander Kamkin over 13 years ago · 49 revisions