通过添加后缀使输出文件夹名称唯一
用于为每次 Polyspace 运行的结果文件夹添加唯一后缀的选项
模型配置窗格: Polyspace
描述
通过添加后缀使输出文件夹名称唯一参数决定 Polyspace® 是在后续每次对相同代码运行分析时覆盖分析结果，还是通过在文件夹名称后添加后缀来将每次运行的结果保存在唯一的文件夹中。例如，您可以先运行 Polyspace Code Prover™ 分析以检查运行时错误，然后再运行 Polyspace Bug Finder™ 分析以检查编码违规。如果您选择此参数，Polyspace 会将两次分析的结果存储在唯一的文件夹中。
设置
off（默认值） | on- 关闭
每次重新运行分析时，结果都会被覆盖。
- 打开
针对分析的每次运行，Polyspace 都会通过在文件夹名称后追加唯一名称来为结果文件夹指定新的位置。
推荐设置
| 应用程序 | 设置 |
|---|---|
| 调试 | 无影响 |
| 可追溯性 | 无影响 |
| 效率 | 无影响 |
| 安全预警 | 无影响 |
编程用法
参数：AddSuffixToResultDir，用于 pslinkoptions |
参数：PSAddSuffixToResultDir，用于 set_param() |
值：'false' | 'true' |
默认值：'false' |
示例：opt = pslinkoptions(modelname); opt.AddSuffixToResultDir = true;
|
版本历史记录
在 R2016b 中推出
