Generatore principale

Generazione principale; funzioni di inizializzazione, step e terminazione; parametri e variabili di input

Utilizzare queste opzioni per il codice generato dai modelli di Simulink®. Vedere Analisi Bug Finder in Simulink.

Opzioni Polyspace

Verificare il codice generato dal modello (-main-generator)Specify that a main function must be generated if it is not present in source files
Parametri (-variables-written-before-loop)Specify variables that the generated main must initialize before the cyclic code loop
Input (-variables-written-in-loop)Specify variables that the generated main must initialize in the cyclic code loop
Funzioni di inizializzazione (-functions-called-before-loop)Specify functions that the generated main must call before the cyclic code loop
Funzioni step (-functions-called-in-loop)Specify functions that the generated main must call in the cyclic code loop
Funzioni di terminazione (-functions-called-after-loop)Specify functions that the generated main must call after the cyclic code loop

Argomenti