Verify whole application

Stop verification if sources files are incomplete and do not contain a main function

Description

This option affects a Code Prover analysis only.

This option is not available for code generated from MATLAB® code or Simulink® models.

Specify that Polyspace® verification must stop if a main function is not present in the source files.

If you select a Visual C++® setting for Compiler (-compiler), you can specify which function must be considered as main. See Main entry point (-main).

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 this option.

  • Polyspace Platform user interface (desktop products only): In your project configuration, on the Static Analysis tab, select the Run Time Errors node and then select this option.

  • Command line and options file: There is no corresponding command-line option. See Command-Line Information.

Settings

On

Polyspace verification stops if it does not find a main function in the source files.

Off (default)

Polyspace continues verification even when a main function is not present in the source files. If a main is not present, it generates a file __polyspace_main.c that contains a main function.

Tips

If you use this option, your code must contain a main function. Otherwise you see the error:

Error: required main procedure not found

If your code does not contain a main function, use the option Verify module or library (-main-generator) to generate a main function.

Command-Line Information

Unlike the user interface, by default, a verification from the command line stops if it does not find a main function in the source files. If you specify the option -main-generator, Polyspace generates a main if it cannot find one in the source files.

See Also

|

Topics