Documentation

Verification at Command Line

Run local and remote verification at Windows®, Linux® or Mac OS X command line

You can run code verification at the Windows or Linux command line. However, after verification, you have to review your results in the Polyspace® user interface.

Topics

Create Command-Line Script from Project File

Extract information needed to run at the command line from a project configured in the Polyspace user interface.

Run Local Verification at Command Line

Run verification on your desktop by using DOS or UNIX® command-line scripts.

Run Remote Verification at Command Line

Send Polyspace analysis jobs to a remote server by using DOS or UNIX command-line scripts.

Was this topic helpful?