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