Недостаточно памяти во время создания отчета
Диагностика ошибок нехватки памяти во время создания отчета.
Нарушения стандартов кодирования не отображаются
Диагностируйте, почему нарушение правила кодирования не помечено как ожидаемое.
Разрешение ошибок -xml-annotations-description
Устранение ошибок при применении пользовательских аннотаций кода к результатам Polyspace.
Устранение неполадок при переходе от кода к модели
Диагностика проблем перехода от сгенерированного кода C/C + + к соответствующим блокам в модели Simulink ®.
Обратитесь в службу технической поддержки по вопросам работы Polyspace
Узнайте, какая техническая поддержка MathWorks ® необходима вам для диагностики проблемы.