How to fix memory usage in Code Prover ?
1 次查看(过去 30 天)
显示 更早的评论
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.
- Do i something wrong because program does not use 16 Gb ram it uses only 1 gb ?
- How can i make codeprover faster ?
- With same configurations and the same project runned in differen computers but results were different, why ?
0 个评论
回答(1 个)
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.
0 个评论
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Set Up Code Prover Analysis on Servers During Continuous Integration 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!