Проверяйте, оптимальны ли модель и настройки кода для анализа кода.
Категория параметров конфигурации модели: 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 Свойства.