-no-credentials-check

Disable credential check when running Polyspace Bug Finder or Polyspace Code Prover analysis on a remote cluster

Syntax

-no-credentials-check


Description

-no-credentials-check disables the credential check when you run Polyspace^® Bug Finder™ or Polyspace Code Prover™ in batch mode on a remote cluster.

Polyspace credential check is compatible with the MATLAB^® Job Scheduler. If you use third-party job scheduler in your remote cluster, the credential check results in an error. If you use third-party job schedulers, you can disable the credential check by specifying this option.

Examples

If you are running an analysis from the Polyspace Platform user interface, you can apply this option through the project configuration. To do so, navigate to the Static Analysis tab, select the Advanced node, and enter -no-credentials-check in the Other field. See Other. To specify this option at the command line, append the option to your usual Bug Finder command:

 polyspace-bug-finder -batch -scheduler NodeHost -no-credentials-check

Dependencies

This option is useful when you use the option -scheduler.