Polyspce bug finder and code prover
3 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
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 Commenti
Shivam
il 19 Mar 2024
Modificato: Shivam
il 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.
Risposte (0)
Vedere anche
Categorie
Scopri di più su Check Behavior in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!