How to fix memory usage in Code Prover ?
6 views (last 30 days)
Show older comments
Husnu umut Okur on 27 Dec 2022
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 ?
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.
Find more on Generate Report 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!