Command Line Utilities » History » Version 47
Alexander Kamkin, 09/26/2011 10:31 AM
| 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 | 47 | Alexander Kamkin | Display the version and build numbers of the installed tools ("CTESK":http://forge.ispras.ru/projects/cptesk, "C++TESK":http://forge.ispras.ru/projects/cpptesk, 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 | 44 | Alexander Kamkin | Checks for available updates and updates the toolkit. |
| 25 | 1 | Alexander Kamkin | |
| 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 | 45 | Mikhail Chupilko | * _none_ *| --install* |
| 33 | 27 | Alexander Kamkin | Update the toolkit if there are updates available. |
| 34 | * *--check* |
||
| 35 | 1 | Alexander Kamkin | Check for available updates. |
| 36 | 45 | Mikhail Chupilko | * *--reinstall* |
| 37 | Reinstall the toolkit with the latest available version. |
||
| 38 | 1 | Alexander Kamkin | * *--help | -h* |
| 39 | 27 | Alexander Kamkin | Show available options. |
| 40 | 10 | Alexander Kamkin | |
| 41 | 43 | Alexander Kamkin | h2. install-veritool.sh |
| 42 | 1 | Alexander Kamkin | |
| 43 | 46 | Alexander Kamkin | Installs "Icarus Verilog":http://iverilog.icarus.com and "VeriTool":http://forge.ispras.ru/projects/veritool. |
| 44 | 1 | Alexander Kamkin | |
| 45 | 43 | Alexander Kamkin | h3. Usage: |
| 46 | |||
| 47 | $CPPTESK_HOME/bin/install-veritool.sh [ _<options>_ ] |
||
| 48 | |||
| 49 | 9 | Alexander Kamkin | h3. Options: |
| 50 | 28 | Alexander Kamkin | |
| 51 | 1 | Alexander Kamkin | * _none_ |
| 52 | Install Icarus Verilog and VeriTool if they are not installed. |
||
| 53 | 45 | Mikhail Chupilko | * *--force* |
| 54 | 1 | Alexander Kamkin | Install Icarus Verilog and VeriTool even if they are installed. |
| 55 | 45 | Mikhail Chupilko | * *--only-veritool* |
| 56 | Install VeriTool only |
||
| 57 | * *--help | -h* |
||
| 58 | Show available options. |
||
| 59 | 10 | Alexander Kamkin | |
| 60 | 43 | Alexander Kamkin | h2. report.sh |
| 61 | 1 | Alexander Kamkin | |
| 62 | 30 | Alexander Kamkin | Processes UTT2 traces and generates the HTML test report. |
| 63 | 29 | Alexander Kamkin | |
| 64 | 42 | Alexander Kamkin | h3. Usage: |
| 65 | |||
| 66 | 9 | Alexander Kamkin | $CPPTESK_HOME/bin/report.sh [ _<options>_ ] _<trace-file>_ [ _<trace-file>_ ]* |
| 67 | 31 | Alexander Kamkin | |
| 68 | 29 | Alexander Kamkin | h3. Options: |
| 69 | 1 | Alexander Kamkin | |
| 70 | * *--dest=*_<directory>_ |
||
| 71 | 29 | Alexander Kamkin | Set the output directory for the report being generated. The default directory is *Reports/Report_*_<time>_. |
| 72 | 45 | Mikhail Chupilko | * *--disable-aspect-error* |
| 73 | 34 | Alexander Kamkin | Do not process aspect "error". This option is disabled by default. |
| 74 | 45 | Mikhail Chupilko | * *--disable-aspect-fsm* |
| 75 | 34 | Alexander Kamkin | Do not process aspect "fsm". This option is disabled by default. |
| 76 | 29 | Alexander Kamkin | * *--version | -v* |
| 77 | Display the report generator version. |
||
| 78 | * *--help | -h* |
||
| 79 | Show available options. |
||
| 80 | 1 | Alexander Kamkin | |
| 81 | 41 | Alexander Kamkin | h2. graphviz.sh |
| 82 | 33 | Alexander Kamkin | |
| 83 | 9 | Alexander Kamkin | Constructs the image of the FSM state graph using the graphviz utilities. |
| 84 | 35 | Alexander Kamkin | |
| 85 | h3. Usage: |
||
| 86 | 1 | Alexander Kamkin | |
| 87 | 42 | Alexander Kamkin | $CPPTESK_HOME/bin/graphviz.sh [ _<options>_ ] _<input-fsm-file>_ [ _<output-image-file>_ ] |
| 88 | 35 | Alexander Kamkin | |
| 89 | 1 | Alexander Kamkin | h3. Options: |
| 90 | |||
| 91 | 41 | Alexander Kamkin | * *--format=*_<image-format>_ |
| 92 | Set the image format (png, jpg, gif, pdf, ps, etc.). |
||
| 93 | * *--version | -v* |
||
| 94 | Show the graphviz version. |
||
| 95 | * *--help | -h* |
||
| 96 | Show available options. |