Documentation

Create Project

Create project, specify source files and verification options

To verify your source files in the user interface, you must create a Polyspace® project.

The project consists of your source files, include folders, and one or more modules. You add all or some of your source files to a module, change the default analysis options if you want, and run verification on the module.

Was this topic helpful?