- Split the analysis at least in 10 set of files before running again analysis. It will provide at least ten meaningful results.
- Use -unit-by-unit option.
- Use Polyspace Bug Finder instead.
Message when launching Polyspace "the process "ps_middle_end" received the signal 9."
2 views (last 30 days)
Show older comments
MathWorks Support Team
on 16 Feb 2023
Edited: MathWorks Support Team
on 16 Feb 2023
Why do I get a message "the process 'ps_middle_end' received the signal 9." when launching a Polyspace analysis?
Accepted Answer
MathWorks Support Team
on 16 Feb 2023
Edited: MathWorks Support Team
on 16 Feb 2023
This is a side effect of a scaling behavior. It happens most of the time on a very big analysis and when using Polyspace Code Prover. That is certainly an out of memory and the OS has killed the analysis.
Possible workarounds for your workflow are the following:
The best is to read the document attached to article "What to do when facing a scaling behavior with Polyspace Code Prover? " which is helping to manage scaling behavior with Polyspace Code Prover.
0 Comments
More Answers (0)
See Also
Categories
Find more on Run Settings in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!