| Both sides previous revisionPrevious revision | |
| stdoptions:start [2026/09/13 12:11] – [Command-line flags] rajit | stdoptions:start [2026/09/26 14:54] (current) – [Command-line flags] rajit |
|---|
| ==== Command-line flags ==== | ==== Command-line flags ==== |
| |
| ACT tools that use the core act library all accept the following command-line options. These options should come first, before any tool-specific options: | ACT tools that use the core act library all accept the following command-line options. These options should come first, before any tool-specific options. |
| | |
| | === Commonly used options === |
| | |
| | The following options tend to be regularly used. |
| * ''-T//techname//'': changes the technology [[config:start|configuration files]] to ''techname''. This specifies that the config files are in directory ''$ACT_HOME/conf/''//techname//. If an absolute path is specified, then that path is used as the directory location for configuration files. | * ''-T//techname//'': changes the technology [[config:start|configuration files]] to ''techname''. This specifies that the config files are in directory ''$ACT_HOME/conf/''//techname//. If an absolute path is specified, then that path is used as the directory location for configuration files. |
| | * ''-ref=//number//'': select refinement body, if it exists. Refinements can be nested, so the number specifies the number of refinement levels that should be expanded. The standard use case is ''-ref=1'', where one level of refinement is selected. |
| | |
| | === Customization === |
| | |
| | The following options are used to customize configuration file options and to add a defined parameter (''pbool'' or ''pint'') to customize the ACT file behavior. |
| | |
| * ''-D//name//=//value//'': defines the specified parameter (either a ''pbool'' or a ''pint'') as a global parameter that can then by used by the ACT file | * ''-D//name//=//value//'': defines the specified parameter (either a ''pbool'' or a ''pint'') as a global parameter that can then by used by the ACT file |
| * ''-cnf=//file//'': reads in the specified file as an ACT configuration file (after the default files for the specified technology) | * ''-cnf=//file//'': reads in the specified file as an ACT configuration file (after the default files for the specified technology) |
| | |
| | === Warnings === |
| | |
| | The following is used to control warning messages: |
| | |
| * ''-W//name//:on'' or ''-W//name//:off'': turn on/off warnings. ''name'' can be: | * ''-W//name//:on'' or ''-W//name//:off'': turn on/off warnings. ''name'' can be: |
| * ''empty_select'' : warn if all the guards in a selection statement in ACT (the core language, not the CHP/HSE sub-language) are false. | * ''empty_select'' : warn if all the guards in a selection statement in ACT (the core language, not the CHP/HSE sub-language) are false. |
| * ''chp_bw_check'': warn if a CHP expression uses subtraction or complement in a [[language:expressions#idiosyncrasies|suspicious context]]. | * ''chp_bw_check'': warn if a CHP expression uses subtraction or complement in a [[language:expressions#idiosyncrasies|suspicious context]]. |
| * ''all'' : all warnings | * ''all'' : all warnings |
| | |
| | === Other === |
| | |
| | Additional options are: |
| | |
| * ''-V//name//'': turn on verbose log messages in the ACT library. Currently ''name'' can be: | * ''-V//name//'': turn on verbose log messages in the ACT library. Currently ''name'' can be: |
| * ''config'' : print out absolute paths for the config files read. This goes to stderr by default | * ''config'' : print out absolute paths for the config files read. This goes to stderr by default |
| * ''-lev=//level//'': set log level flags | * ''-lev=//level//'': set log level flags |
| * ''-opt=//str//'': set option string for ACT ''getopt()'' API | * ''-opt=//str//'': set option string for ACT ''getopt()'' API |
| * ''-ref=//number//'': select refinement body, if it exists. Refinements can be nested, so the number specifies the number of refinement levels that should be expanded. The standard use case is ''-ref=1'', where one level of refinement is selected. | |
| |
| ==== Environment variables ==== | ==== Environment variables ==== |