Добавьте уникальный суффикс в папку результатов для каждого выполнения, чтобы не перезаписывать предыдущие результаты.
Образцовая категория параметров конфигурации: Polyspace
Значение по умолчанию: 'off'
Каждый раз, когда вы повторно выполняете свой анализ, ваши результаты перезаписываются.
Для каждого выполнения анализа Polyspace® задает новое местоположение для папки результатов путем добавления уникального номера к имени папки.
Используйте свойство pslinkoptions
AddSuffixToResultDir
.
Функция pslinkoptions
позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать функцию set_param
, чтобы сопоставить это свойство с моделью. Используйте параметр PSAddSuffixToResultDir
с тем же значением что касается свойства pslinkoptions
AddSuffixToResultDir
. См. pslinkoptions Свойства.
pslinkoptions
| Свойства pslinkoptions