Для исследований Polyspace®, набор следующие параметры конфигурации прежде, чем сгенерировать код. Если вы не используете рекомендуемое значение в SystemTargetFile, вы получаете ошибку. Для других параметров, если вы не используете рекомендуемое значение, вы получаете предупреждение.
| Группировка | Командная строка | Название и местоположение в настройке |
|---|---|---|
| Генерация кода | Имя: Значение: Компилятор Embedded Coder® Target Language (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 Значение: |
