Other
Specify additional command-line flags for static analysis
Description
This option is useful only if you run an analysis in the user interface of the Polyspace® desktop products.
Enter command-line-style flags such as -max-processes or
-tmp-dir-in-results-dir.
Set Option
Set the option using one of these methods:
Polyspace Platform user interface (desktop products only): In your project configuration, on the Static Analysis tab, select the Advanced node and then enter a command-line-style flag for this option.
Why Use This Option
Use this option to specify options that are nonofficial or options that are available at command-line only.
Nonofficial options are undocumented options that MathWorks® Technical Support might provide you to work around
specific issues. Sometimes, the options and their arguments have to
be preceded by the option -extra-flags (that is,
you have to enter -extra-flags
).
When providing you the option, Technical Support will let you know
if the option option_param-extra-flags is required.
The options you specify in this field are put into an options file
which is then passed to the analysis as an input to the option
-options-file. If you
need to add several command-line or nonofficial options in this
field, save these options into a reusable options file.
You configure some options, such as the results directory or importing
comments, in the Settings window of the
Polyspace Platform user interface. If you configure these options
again by using command-line options in the Other
field, the command line inputs are disregarded and the input from
the user interface is used in the analysis. For example, say you
specify a folder foo as the Parent
results folder location. Then you specify a
different folder bar as the input
-results-dir in the
Other field. Polyspace disregards the command line input and saves the
results in foo.
Settings
No Default
Enter one or more command-line style flag. You can enter multiple options in this field. If you enter the same option multiple times with different arguments, the analysis uses your last argument.
Command-Line Information
Enter the options directly in the command-line or in the options file
