polyspace automation standalone script for BF and CD
显示 更早的评论
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.
采纳的回答
Shubham
2023-9-4
0 个投票
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 个）
类别
在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息
Translated by 
