-no-credentials-check

R2026b

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

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.