Generador principal
Generación principal; funciones de inicialización, paso y terminación; parámetros y variables de entrada
Utiliza estas opciones para código generado a partir de modelos de Simulink®. Consulte Análisis de Bug Finder en Simulink.
Opciones de Polyspace
Verificar el código generado del modelo (-main-generator) | Specify that a main function must be
generated if it is not present in source files |
Parámetros (-variables-written-before-loop) | Specify variables that the generated main must
initialize before the cyclic code loop |
Entradas (-variables-written-in-loop) | Specify variables that the generated main must
initialize in the cyclic code loop |
Funciones de inicialización (-functions-called-before-loop) | Specify functions that the generated main must
call before the cyclic code loop |
Funciones de paso (-functions-called-in-loop) | Specify functions that the generated main must
call in the cyclic code loop |
Funciones de terminación (-functions-called-after-loop) | Specify functions that the generated main must
call after the cyclic code loop |
Temas
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.