How to fix memory usage in Code Prover ?

6 views (last 30 days)
Husnu umut Okur
Husnu umut Okur on 27 Dec 2022
Answered: Anirban on 3 Jan 2023
Hello, I use codeprover 2020b and after reading documentation i saw optimal working processes are 4 and every core needs minimum 4GB ram but when i run the code prover it uses only 1 GB ram and it takes a lot of time to finish analysis.
  1. Do i something wrong because program does not use 16 Gb ram it uses only 1 gb ?
  2. How can i make codeprover faster ?
  3. With same configurations and the same project runned in differen computers but results were different, why ?

Answers (1)

Anirban
Anirban on 3 Jan 2023
There could be many possible reasons why Code Prover is running slower than expected. See Reduce Memory Usage and Time Taken by Polyspace Analysis.
For more help understanding what might be happening in your case, please contact MathWorks Technical Support. See Contact MathWorks Technical Support.

Products


Release

R2020b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by