polyspace automation standalone script for BF and CD
3 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
basheer
el 4 de Sept. de 2023
Respondida: Shubham
el 4 de Sept. de 2023
After Integration polyspace 2019a with matlab 2015b few commands like polyspace-bug-finder and polyspace-code-prover not worked. it shows error like due to different releases not work. please suggest how to get the polyspace bf and cd reports through scripting.
0 comentarios
Respuesta aceptada
Shubham
el 4 de Sept. de 2023
Hi basheer,
I understand you are not able to use commands like polyspace-bug-finder and polyspace-code-prover in Polyspace R2019a after integration with MATLAB R2015b.
From R2019a onwards, Polyspace Bug Finder and Polyspace Code Prover have become standalone products separate from MATLAB/Simulink. As a result, integrating Polyspace with MATLAB/Simulink requires additional steps to be performed.
Refer to this MATLAB Answers for more info
After correctly configuring Polyspace, you will be able to use those Polyspace commands.
0 comentarios
Más respuestas (0)
Ver también
Categorías
Más información sobre Run Settings 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!