Code prover gives force refined shared variables analysis error.
显示 更早的评论
While Bug finder finds data race defect Code Prover can not find any shared variables defect and gives 'force refined shared variables analysis' error. I followed documentation to solve force refined shared variables analysis error but it didn't work. How can i fix this ?
回答（1 个）
Anirban
2023-1-9
0 个投票
Some more information is needed to answer this question.
- Are you using a manual multitasking configuration? In other words, are you explicitly stating your tasks in the analysis configuration?
- Is the error blocking the analysis? In other words, do you not get results at all? Can you quote the full error message?
Code Prover is a bit more strict compared to Bug Finder when it comes to analyzing multitasking applications. See:
- Differences Between Bug Finder and Code Prover (with regarding to multitasking analysis)
- Adapt Code for Code Prover Multitasking Analysis
类别
在 帮助中心 和 File Exchange 中查找有关 Bug Finder Analysis in Polyspace Platform User Interface 的更多信息
2023-1-7
2023-1-13
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
Translated by 
