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.

Topics

Create Project

Specify source files and analysis options in your Polyspace project.

Create Project Using Template

Import analysis options from a previously saved template.

Update Project

Update your project by refreshing your source file list, changing the order of includes, or changing analysis options.

Modularize Project

Copy some source files from your project into a module. Create multiple configurations in the module.

Was this topic helpful?