- 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 gives force refined shared variables analysis error.
조회 수: 1 (최근 30일)
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 ?
Anirban 2023년 1월 9일
Some more information is needed to answer this question.
Code Prover is a bit more strict compared to Bug Finder when it comes to analyzing multitasking applications. See:
Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Multitasking