Create Project Using Visual Studio Information
To create a Polyspace® project, you can trace your Visual Studio® build.
In the Polyspace interface, select File > New Project.
In the Project – Properties window, under Project Configuration, select Create from build command and click Next.
In the field Specify command used for building your source files, enter the full path to the Visual Studio executable. For instance,
"C:\Program Files (x86)\Microsoft Visual Studio 10.0\Common7\IDE\devenv.exe".In the field Specify working directory for running build command, enter a folder to which you have write access, for instance,
C:\temp\Polyspace. Click
.This action opens the Visual Studio environment.
In the Visual Studio environment, create and build a Visual Studio project.
If you already have a Visual Studio project, open the existing project and build a clean solution. For instance, to build a clean solution in Visual Studio 2012, select BUILD > Rebuild Solution.
After the project builds, close Visual Studio.
Polyspace traces your Visual Studio build and creates a Polyspace project.
The Polyspace project contains the source files from your Visual Studio build and the relevant Target & Compiler options.
If you update your Visual Studio project, to update the corresponding Polyspace project, on the Project Browser, right-click the project name and select Update Project.