How to fix memory usage in Code Prover ?

3 次查看（过去 30 天）
Husnu umut Okur
Husnu umut Okur 2022-12-27
回答： Anirban 2023-1-3
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 ?

请先登录，再回答此问题。

回答（1 个）

Anirban
Anirban 2023-1-3
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.

类别

在 Help Center 和 File Exchange 中查找有关 Code Prover Analysis in Polyspace Platform User Interface 的更多信息

标签

产品


版本

R2020b

Community Treasure Hunt

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

Start Hunting!

Translated by