Run Settings
Specify remote verification
To specify that the verification must be performed on a remote server, use the run settings options.
Polyspace Options
Run Bug Finder or Code Prover analysis on a remote cluster (-batch) | Enable batch remote analysis |
Topics
- Specify Polyspace Analysis Options
Specify Polyspace® analysis options in Polyspace user interface, other IDE-s or scripts.
- Send Polyspace Analysis from Desktop to Remote Servers
Send Polyspace analysis jobs to a remote server from the Polyspace user interface.
- Send Polyspace Analysis from Desktop to Remote Servers Using Scripts
Send Polyspace analysis jobs to a remote server by using batch files (
.bat) or shell scripts (.sh).
