When using Polyspace Code Prover (or simply Polyspace before R2013b) and when looking at the Polyspace log file I see the response "run out of memory". Since then I have tried running the same code set twice. Once with no changes, and the last time with only the application code. Both attempts have resulted in the same failure. In the mean time I have successfully ran a few different code sets through without any problems. I am not sure if I am missing something.
MATLAB: Do I receive “Out of Memory” errors when I run Polyspace (or Polyspace Code Prover since R2013b) verification
errorsissuememoryofoutPolyspace Client for C/C++Polyspace Code Proverscaling
Related Question
- Can I perform with code verification for Ada if I have Polyspace Bug Finder and PolySpace Code Prover
- How to check the Update Level of an R2019a Polyspace Code Prover or Bug Finder Desktop installation
- Do I get an error when trying to set SQO levels for a Polyspace Code Prover project via command line using polyspace-results-repository.exe in R2019a
- Where is the option “-continue-with-red-error” in Polyspace R2009a and R2009b
Best Answer