| Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
stdoptions:start [2022/06/24 06:53]
rajit |
stdoptions:start [2022/06/24 06:54] (current)
rajit [Command-line flags] |
| * ''-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) |
| * ''-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 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. |
| * ''dup_pass'' : warn if an ACT tool registers a duplicate pass. | * ''dup_pass'' : warn if an ACT tool registers a duplicate pass. |
| * ''no_local_driver'' : warn if a local variable doesn't have a driver if detected during some of the ACT analysis passes. | * ''no_local_driver'' : warn if a local variable doesn't have a driver if detected during some of the ACT analysis passes. |
| * ''double_expand'' : warn if an ACT tool attempts to expand an already expanded ACT object. | * ''double_expand'' : warn if an ACT tool attempts to expand an already expanded ACT object. |
| * ''lang_subst'' : warn if an ACT tool uses a different language body within a process than the default choice. | * ''lang_subst'' : warn if an ACT tool uses a different language body within a process than the default choice. |
| * ''all'' : turn on all warnings | * ''all'' : all warnings |
| * ''-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 |