Для 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 Значение: |