Troubleshoot Running Polyspace Analysis
Compilation errors, errors connecting to server, errors creating Polyspace® project, and so on
Troubleshoot various errors that can arise when running a Polyspace analysis, such as:
Compilation errors
Licensing and database errors
Errors in project creation
Errors in remote cluster setup
Errors in analyzing generated code
Categories
- Troubleshoot Compilation Errors
Undefined identifier, unknown function prototype, conflicting declarations, and so on
- Troubleshoot Licensing, Database and Other Errors
Results database corruption, temporary folder restrictions, license errors, and so on
- Troubleshoot Project Creation
Errors in project creation from build command
- Troubleshoot Analysis on Remote Clusters
Server not found, problems writing to job manager database, and so on
- Troubleshoot Analysis in Simulink
Errors in running Polyspace analysis of generated code and custom code included in Simulink® models
