Для анализа Polyspace ® перед созданием кода задайте следующие параметры конфигурации. Если не использовать рекомендуемое значение дляSystemTargetFile, вы получаете ошибку. Если рекомендуемое значение не используется для других параметров, выводится предупреждение.
| Группировка | Командная строка | Имя и расположение в конфигурации |
|---|---|---|
| Создание кода | Имя: Значение: файл компилятора целевого языка Embedded Coder ® (TLC). Например, | Местоположение: Создание кода Имя: Системный целевой файл Значение: целевой файл встроенного кодера |
Имя: Значение: | Местоположение: Создание кода > Интерфейс Имя: ведение журнала MAT-файла Значение: | |
Имя: Значение: | Место: Создание кода > Отчет Имя: Создание отчета по генерации кода Значение: | |
Имя: Значение: | Место: Создание кода > Отчет Имя: Код модели Значение: | |
Имя: Значение: | Расположение: Создание кода > Шаблоны Имя: Создание примера основной программы Значение: | |
Имя: Значение: | Расположение: Создание кода > Комментарии Имя: Включить комментарии Значение: | |
| Оптимизация | Имя: Значение: | Расположение: Оптимизация Имя: Поведение параметра по умолчанию Значение: |
Имя: Значение: | Расположение: Оптимизация Имя: Используйте memset для инициализации поплавков и двойников до 0.0 Значение: | |
Имя: Значение: | Расположение: Оптимизация Имя: Удалить инициализацию нуля ввода-вывода корневого уровня Значение: | |
| Решающее устройство | Имя: Значение: | Расположение: Решатель Имя: Тип Значение: |
Имя: Значение: | Расположение: Решатель Имя: Решатель Значение: |
