Differences
This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
|
Last revision
Both sides next revision
|
stdoptions:start [2022/06/24 06:53] rajit |
stdoptions:start [2022/06/24 06:53] 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. |