Выберите тип анализа кода Polyspace®, чтобы запуститься.
Образцовая категория параметров конфигурации: Polyspace
Значение по умолчанию: Code Prover
Code ProverЗапустите верификацию Polyspace Code Prover™.
Bug FinderЗапустите анализ Polyspace Bug Finder™.
Вы видите только продукты, на которые у вас есть лицензия. Если у вас нет лицензии Polyspace Code Prover, режимом продукта по умолчанию является Bug Finder.
Используйте свойство pslinkoptions VerificationMode.
Функция pslinkoptions позволяет вам создавать Polyspace, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать функцию set_param, чтобы сопоставить это свойство с моделью. Используйте параметр PSVerificationMode с тем же значением что касается свойства pslinkoptions VerificationMode. См. pslinkoptions Свойства.
pslinkoptions | Свойства pslinkoptions