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.

Was this topic helpful?