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