Polyspce bug finder and code prover
5 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Dhruvilkumar Chavada
el 22 de Feb. de 2024
Comentada: Dhruvilkumar Chavada
el 20 de Mzo. de 2024
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 comentarios
Shivam
el 19 de Mzo. de 2024
Editada: Shivam
el 20 de Mzo. de 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.
Respuestas (0)
Ver también
Categorías
Más información sobre Check Behavior en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!