Main Content

Troubleshooting in Polyspace Code Prover

Resolve unexpected issues in Polyspace® Code Prover™

If you encounter unexpected issues when setting up or running a Polyspace Code Prover analysis, check this troubleshooting guide for workarounds.

Unexpected issues while running Polyspace analysis include:

  • Compilation errors

  • License errors, database corruption, or temporary folder restrictions

  • Project creation errors

  • Server not found or other analysis errors on remote clusters

  • Memory usage or analysis time errors

  • Errors while running Polyspace analysis of generated code or custom code included in Simulink® models.

Unexpected issues while reviewing results include:

  • Result interpretation such as unclear orange checks.

  • Report generation such as insufficient memory errors or unsatisfactory reports.

If you are experiencing unexpected errors while installing Polyspace Code Prover, see Install Polyspace for detailed installation instructions.

Categories

Go to top of page