Make output folder name unique by adding a suffix

Option to add a unique suffix to the results folder for every Polyspace run

Model Configuration Pane: Polyspace

Description

The Make output folder name unique by adding a suffix parameter determines whether Polyspace^® overwrites analysis results with each subsequent run on the same code or saves results for each run in a unique folder by adding a suffix to the folder name. For example, you can run a Polyspace Code Prover™ analysis to check for run-time errors, and then a Polyspace Bug Finder™ analysis to check for coding rule violations. If you select this parameter, Polyspace stores the results from the two analyses in unique folders.

Settings

off (default) | on

Off: Every time you rerun your analysis, your results are overwritten.
On: For each run of the analysis, Polyspace specifies a new location for the results folder by appending a unique number to the folder name.

Recommended Settings

Application	Setting
Debugging	No Impact
Traceability	No Impact
Efficiency	No Impact
Safety precaution	No Impact

Programmatic Use

Parameter: AddSuffixToResultDir for use with pslinkoptions

Parameter: PSAddSuffixToResultDir for use with set_param()

Values: 'false' | 'true'

Default: 'false'

Example : opt = pslinkoptions(modelname); opt.AddSuffixToResultDir = true;

Version History

Introduced in R2016b