Step functions (-functions-called-in-loop)

Specify functions that the generated main must call in the cyclic code loop

Description

This option is automatically set if you run Polyspace® from Simulink® or MATLAB® on generated code. If you run Polyspace on generated code outside Simulink or MATLAB, set this option manually.

Specify functions that the generated main must call in each cycle of the cyclic code.

Set Option

Set the option using one of these methods:

  • Polyspace user interface (desktop products only): In your project configuration, select the Code Prover Verification node and then select a value for this option. You see this option only if you open a project configuration from Simulink.

  • Command line and options file: Use the option -functions-called-in-loop. See Command-Line Information.

Settings

Default: none if you run the analysis outside Simulink. If you run from Simulink, the option uses the step functions from the generated code by default. See also How Polyspace Analysis of Generated Code Works.

none

The generated main does not call functions in the cyclic code.

all

The generated main calls all functions except inlined ones. If you specify certain functions for the options Initialization functions or Termination functions, the generated main does not call those functions in the cyclic code.

custom

The generated main calls functions that you specify. Click to add a field. Enter function name.

If you use the scope resolution operator to specify the function from a particular namespace, enter the fully qualified name, for instance, myClass::myMethod(int). If the function does not have a parameter, use an empty parenthesis, for instance, myClass::myMethod().

Tips

If you have specified a function for the option Initialization functions (-functions-called-before-loop) or Termination functions (-functions-called-after-loop), to call it inside the cyclic code, use custom and specify the function name.

Command-Line Information

Parameter: -functions-called-in-loop
Value: none | all | custom=function1[,function2[,...]]
Default: none
Example (Bug Finder): polyspace-bug-finder -sources file_name -main-generator -functions-called-in-loop all
Example (Code Prover): polyspace-code-prover -sources file_name -main-generator -functions-called-in-loop all
Example (Bug Finder Server): polyspace-bug-finder-server -sources file_name -main-generator -functions-called-in-loop all
Example (Code Prover Server): polyspace-code-prover-server -sources file_name -main-generator -functions-called-in-loop all

See Also

| |

Topics