Polyspce bug finder and code prover

Hi, I am working on a project where I am using Process advisor to automate design check, code generation and polyspace tasks.

I took reference from the built-in example,

processAdvisorExampleStart

When I am performing code complaince and code prover through process advisor app, I am getting following error:

Task 'padv.builtin.task.AnalyzeModelCode' threw unhandled exception 'Cannot read from source: D:\Aerospace\Subjects\Master_thesis\process_advisor_pilot\ExampleProject\battery_ctrl_sw_dev-dev\Design\vout\code-verification\do331_jobs_CodeDefectAnalysis\cl_slave\PolyspaceProject_BugFinder.pdf.'

Task 'ProveCodeQuality' threw unhandled exception 'Cannot read from source: D:\Aerospace\Subjects\Master_thesis\process_advisor_pilot\ExampleProject\battery_ctrl_sw_dev-dev\Design\vout\code-verification\do331_jobs_CodeProving\cl_slave\PolyspaceProject_Developer.pdf.'

Apparently, this two files are available in the mentioned folder and results are also stored in these pdf for respective tasks.

But the task is not able to rename the artifact to the current model name and thus this error occurs all the time.

I tried checking documents but there is no solution for such error.

[Shivam]

Hi Dhruvilkumar,

Could you attach the related files for me to debug the issue?

Also, please confirm if read/write permissions are ensured for the process advisor for these files, and also since windows has the maximum path limit and based on error message it seems like error could be due to a long path name, repeat the process with shorter path of the files.

Let me know if it resolves the issue.

[Dhruvilkumar Chavada]

So the problem is, when i perform let's say code compliance it creates a folder name name cl_slave in out\code-verification\do331_jobs_CodeDefectAnalysis\ path. when i debugged, i saw that the process create another folder cl_slave_1 with subfolder cl_slave in above mentioned path and then stores everything there. When it comes to result checking and document generation, the process try to find result in cl_slave folder.

As the process is creating two folder with same name and then getting confuse between two and thus this error arise.