Для исследований 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 Значение: |