Project Setup

Create a project automatically from a build command or compilation database, or manually by adding sources and configuring build options. Once you create a project, you can modularize it by extracting components such as configurations and graphical tests to separate files that you link to the project by reference.

Submit Polyspace^® files like projects, workspaces, configurations, and graphical tests to your version control system along with the project source code. Later, you can dynamically create a project on demand from the submitted source and component files by using the Polyspace Python^® API.

While projects can be useful artifacts, if you are authoring tests using the Polyspace Test™ xUnit API, you do not necessarily need to create a project. You can build the tests in your IDE using your usual development tools, and perform code profiling by using the polyspace-code-profiler command.