Command Line Utilities » History » Version 42
Alexander Kamkin, 08/30/2011 05:01 PM
| 1 | 1 | Alexander Kamkin | h1. Command Line Utilities |
|---|---|---|---|
| 2 | |||
| 3 | 2 | Alexander Kamkin | h2. $CPPTESK_HOME/bin/version.sh |
| 4 | 1 | Alexander Kamkin | |
| 5 | 6 | Alexander Kamkin | Displays the version and build numbers of the installed tools and prints the change log. |
| 6 | 7 | Alexander Kamkin | |
| 7 | 8 | Alexander Kamkin | h3. Options: |
| 8 | 4 | Alexander Kamkin | |
| 9 | 26 | Alexander Kamkin | * _none_ *| --version | -v* |
| 10 | 27 | Alexander Kamkin | Display the version and build numbers of the installed tools (CTESK, C++TESK, etc.). |
| 11 | 15 | Alexander Kamkin | * *--new* |
| 12 | 19 | Alexander Kamkin | Display what is new in the installed version of the toolkit comparing with the previous one. |
| 13 | 16 | Alexander Kamkin | * *--log* |
| 14 | 21 | Alexander Kamkin | Print the overall change log of the toolkit (starting from the build 1.0.1 2011-04-15). |
| 15 | 16 | Alexander Kamkin | * *--help | -h* |
| 16 | 18 | Alexander Kamkin | Show available options. |
| 17 | 3 | Alexander Kamkin | |
| 18 | 2 | Alexander Kamkin | h2. $CPPTESK_HOME/bin/update.sh |
| 19 | 1 | Alexander Kamkin | |
| 20 | 33 | Alexander Kamkin | Updates the toolkit. |
| 21 | |||
| 22 | 9 | Alexander Kamkin | h3. Options: |
| 23 | 1 | Alexander Kamkin | |
| 24 | 27 | Alexander Kamkin | * _none_ |
| 25 | Update the toolkit if there are updates available. |
||
| 26 | * *--check* |
||
| 27 | Check for available updates. |
||
| 28 | * *--help | -h* |
||
| 29 | Show available options. |
||
| 30 | 10 | Alexander Kamkin | |
| 31 | 2 | Alexander Kamkin | h2. $CPPTESK_HOME/bin/install-veritool.sh |
| 32 | 1 | Alexander Kamkin | |
| 33 | 33 | Alexander Kamkin | Installs Icarus Verilog and VeriTool. |
| 34 | |||
| 35 | 9 | Alexander Kamkin | h3. Options: |
| 36 | |||
| 37 | 28 | Alexander Kamkin | * _none_ |
| 38 | Install Icarus Verilog and VeriTool if they are not installed. |
||
| 39 | * *--force-install-veritool* |
||
| 40 | Install Icarus Verilog and VeriTool even if they are installed. |
||
| 41 | 10 | Alexander Kamkin | |
| 42 | 2 | Alexander Kamkin | h2. $CPPTESK_HOME/bin/report.sh |
| 43 | 1 | Alexander Kamkin | |
| 44 | 30 | Alexander Kamkin | Processes UTT2 traces and generates the HTML test report. |
| 45 | 29 | Alexander Kamkin | |
| 46 | 42 | Alexander Kamkin | h3. Usage: |
| 47 | |||
| 48 | $CPPTESK_HOME/bin/report.sh [ _<options>_ ] _<trace-file>_ [ _<trace-file>_ ]* |
||
| 49 | |||
| 50 | 9 | Alexander Kamkin | h3. Options: |
| 51 | 31 | Alexander Kamkin | |
| 52 | 29 | Alexander Kamkin | * *--dest=*_<directory>_ |
| 53 | Set the output directory for the report being generated. The default directory is *Reports/Report_*_<time>_. |
||
| 54 | 1 | Alexander Kamkin | * *--non-trace-error* |
| 55 | 34 | Alexander Kamkin | Do not process aspect "error". This option is disabled by default. |
| 56 | 29 | Alexander Kamkin | * *--non-trace-fsm* |
| 57 | 34 | Alexander Kamkin | Do not process aspect "fsm". This option is disabled by default. |
| 58 | 29 | Alexander Kamkin | * *--version | -v* |
| 59 | Display the report generator version. |
||
| 60 | * *--help | -h* |
||
| 61 | Show available options. |
||
| 62 | 1 | Alexander Kamkin | |
| 63 | 41 | Alexander Kamkin | h2. graphviz.sh |
| 64 | 33 | Alexander Kamkin | |
| 65 | 9 | Alexander Kamkin | Constructs the image of the FSM state graph using the graphviz utilities. |
| 66 | 35 | Alexander Kamkin | |
| 67 | h3. Usage: |
||
| 68 | 1 | Alexander Kamkin | |
| 69 | 42 | Alexander Kamkin | $CPPTESK_HOME/bin/graphviz.sh [ _<options>_ ] _<input-fsm-file>_ [ _<output-image-file>_ ] |
| 70 | 35 | Alexander Kamkin | |
| 71 | 1 | Alexander Kamkin | h3. Options: |
| 72 | |||
| 73 | 41 | Alexander Kamkin | * *--format=*_<image-format>_ |
| 74 | Set the image format (png, jpg, gif, pdf, ps, etc.). |
||
| 75 | * *--version | -v* |
||
| 76 | Show the graphviz version. |
||
| 77 | * *--help | -h* |
||
| 78 | Show available options. |