Polyspace installation folder

Specify one or more Polyspace installations. For each installation, specify:

Note: To use the Polyspace Jenkins plugin, you must point to at least one Polyspace installation.