Для Polyspace® анализы, установите следующие параметры конфигурации перед генерацией кода. Если вы не используете рекомендуемое значение для SystemTargetFile, вы получите ошибку. Для других параметров, если вы не используете рекомендуемое значение, вы получаете предупреждение.
| Группировка | Командная строка | Имя и местоположение в строении |
|---|---|---|
| Генерация кода | Имя: Значение: Embedded Coder® Файл компилятора целевого языка (TLC). Для примера | Расположение: Code Generation Имя: System target file Значение: целевой файл Embedded Coder |
Имя: Значение: | Расположение: Code Generation > Interface Имя: MAT-file logging Значение: | |
Имя: Значение: | Расположение: Code Generation > Report Имя: Create code-generation report Значение: | |
Имя: Значение: | Расположение: Code Generation > Report Имя: Code-to-model Значение: | |
Имя: Значение: | Расположение: Code Generation > Templates Имя: Generate an example main program Значение: | |
Имя: Значение: | Расположение: Code Generation > Comments Имя: Include comments Значение: | |
| Оптимизация | Имя: Значение: | Расположение: Optimization Имя: Default parameter behavior Значение: |
Имя: Значение: | Расположение: Optimization Имя: Use memset to initialize floats and doubles to 0.0 Значение: | |
Имя: Значение: | Расположение: Optimization Имя: Remove root level I/O zero initialization Значение: | |
| Решатель | Значение: | Расположение: Solver Имя: Type Значение: |
Имя: Значение: | Расположение: Solver Имя: Solver Значение: |