Main Content

-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 using the user interface, you can enter this option in the Other field, under the Advanced Settings node on the Configuration pane. 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.

See Also

Topics