There might be multiple causes for this error.
To work around the issue, you can try adding the option "-modules 1" in the Polyspace project configuration. If this does not resolve the issue, you can also try adding the option "--max-processes 1". Please follow the steps below to add these options:
1. Open the project in Polyspace.
2. Navigate to the "Configuration" tab.
3. In the Configuration tab, navigate to the "Advanced settings" tab.
4. In the Advanced Settings tab, kindly write "-modules 1" in the "Other Polyspace options/other" text field.
If adding "-modules 1" does not work, try the following:
1. In the same "Other Polyspace options/other" text field, add "--max-processes 1".
After adding the options, kindly try to run the analysis on the project again.
