Polyspace installation folder

Choose the Polyspace installation folder to be used in this project, as defined on the Configure System page.

You can then use Polyspace commands such as polyspace-configure, polyspace-bug-finder-server and polyspace-code-prover-server directly in scripts without specifying the installation folder.

You can also use the helper utility ps_helper in scripts in the Build section of this project to filter results, report a pass/fail status and obtain other project information. For instance, in a Shell script, use the utility with the syntax $ps_helper. In a Windows batch file, use the syntax %ps_helper%. In the syntax descriptions below, report refers to the results file obtained using the command polyspace-access -export or polyspace-report-generator -generate-results-list-file.

You can use the helper utility only when no Jenkins slave is used as the helper libraries are part of the Polyspace Jenkins plugin.