Проверяйте, оптимальны ли модель и настройки кода для анализа кода.
Образцовая категория параметров конфигурации: Polyspace
Значение по умолчанию: On (proceed with warnings)
On (proceed with warnings)Процесс останавливается для ошибок, но продолжает анализ кода, если настройка имеет только предупреждения.
On (stop for warnings)Если настройка имеет ошибки или предупреждения, остановки процесса.
OffПрограммное обеспечение не проверяет настройку.
Используйте свойство pslinkoptions CheckConfigBeforeAnalysis. Для получения дополнительной информации см. pslinkoptions Свойства.
Функция pslinkoptions позволяет вам создавать Polyspace®, опции возражают, что можно снова использовать для многоуровневых моделей. Можно также использовать функцию set_param, чтобы сопоставить это свойство с моделью. Используйте параметр PSVerifALLSFcnInstances с тем же значением что касается свойства pslinkoptions VerifALLSFcnInstances. См. pslinkoptions Свойства.