Polyspce bug finder and code prover
5 views (last 30 days)
Show older comments
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.
2 Comments
Shivam
on 19 Mar 2024
Edited: Shivam
on 20 Mar 2024
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.
Answers (0)
See Also
Categories
Find more on Check Behavior 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!