Hauptgenerator

Hauptgenerierung; Initialisierungs-, Sprung- und Beendigungsfunktionen; Parameter und Eingabevariablen

Verwenden Sie diese Optionen für Code, der aus Simulink®-Modellen generiert wurde. Siehe Bug Finder-Analyse in Simulink.

Polyspace-Optionen

Aus Modellen generierten Code verifizieren (-main-generator)Specify that a main function must be generated if it is not present in source files
Parameter (-variables-written-before-loop)Specify variables that the generated main must initialize before the cyclic code loop
Eingaben (-variables-written-in-loop)Specify variables that the generated main must initialize in the cyclic code loop
Initialisierungsfunktionen (-functions-called-before-loop)Specify functions that the generated main must call before the cyclic code loop
Schrittfunktionen (-functions-called-in-loop)Specify functions that the generated main must call in the cyclic code loop
Beendigungsfunktionen (-functions-called-after-loop)Specify functions that the generated main must call after the cyclic code loop

Themen